Using gwt-2.5.1