/third_party/jetty-7.1.6.v20100715/
../
jetty-server-7.1.6.v20100715.jar
servlet-api-2.5.jar