../ virgo-jetty-server-3.0.0.RELEASE.zip 18-Aug-2011 22:44 37520267 virgo-jetty-server-3.0.0.RELEASE.zip.sha1 18-Aug-2011 22:44 41