Fixed GWT version in XML DTD for GWT modules (it was not up-to-date). Updated to GWT 2.5.0