Remove unused gwt-user libraries
Use java 1.7 instead of PLUGIN_JDK for GWT module
Increase version number