Changing port of Jetty plugin to 8082