../ virgo-jetty-server-3.0.1.RELEASE.zip 09-Sep-2011 13:14 36M virgo-jetty-server-3.0.1.RELEASE.zip.sha1 09-Sep-2011 13:14 41