Factor out GWT version number