UPGRADE to gwt 2.5.1