Use gwt 2.5 and gwtMojo 2.5.0 by default