GWT plugin name update