We will need a new config file for GWT 2.5, I don't know exactly where in the release process that goes, but probably sooner rather than later.
http://gwt-code-reviews.appspot.com/1710804/ -- http://groups.google.com/group/Google-Web-Toolkit-Contributors