Updates for GWT-2.5.0 compatibility

I am releasing today a new version of most my GWT libs, apps and games. The update is mostly to preserve compatibility with GWT-2.5.0, and the new gwt-maven-plugin 2.5.0. You can look at the release notes for more details. The code is available in GitHub and maven central.