../ virgo-jetty-server-3.5.0.RELEASE.zip 10-Jul-2012 14:12 40M virgo-jetty-server-3.5.0.RELEASE.zip.sha1 10-Jul-2012 14:12 41