/third_party/jetty-7.1.6.v20100715/

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