updated build.xml for Jetty 9 (which uses servlet-api-3.0.jar)