small javadoc tweak.
 GWT version bump to 1.3.1