../ virgo-jetty-server-3.0.2.RELEASE.zip 25-Nov-2011 22:09 36M virgo-jetty-server-3.0.2.RELEASE.zip.sha1 25-Nov-2011 22:09 41