MD5 (Jetty-4.0.2.tgz) = 81b32e2e788c4f5a10496cc6b70a6c78