jboss-developer/www.jboss.org — pull request #142 by LightGuard (2014-05-12 19:53:11+00:00)
Title: Fixes DEVELOPER-477 (zip -> jar)

Paul, please check to see what is in the download manager. It appears to
be .zip. If it is .zip, do we need to rename it or keep things how they
are currently?