Also, the default Jetty implementation is inefficient in handling HEAD requests as a complete read of the file requested is done (while it's not needed).