new version of Jetty Ant plugin used