../ virgo-jetty-server-3.0.3.RELEASE.zip 26-Apr-2012 17:40 36M virgo-jetty-server-3.0.3.RELEASE.zip.sha1 26-Apr-2012 17:40 41