fixed build errors with Jetty plugin