Updating to GWT 2.5.1-rc1