Changes following move of GWT's Jetty dependency to plugin.