MD5 (Jetty-4.2.9.tgz) = 41b4375f15e8e42bdef169a2e58d5dcd