Replace codehaus jspc plugin with jetty 9 "equivalent"