[Geoserver-devel] Geoserver.war(jar)

Greetings.

I just downloaded the geoserver.war file with the hopes of deploying it into my tomcat webapps folder and deploying it; however the file I downloaded by clicking the "geoserver.war" link is a jar file.. is this a packaging mistake? Am I making a massive downloading mistake? My knowledge of tomcat is fairly limited (getting there...) but I know enough that I can't deploy a jar file. Any ideas?