use GWT 2.3 by default, rather than 2.4