update to gwt 2.5.1