Changes following move of GWT's Jetty dependency to plugin. Add GWT module parameters for SuperDevMode.