More on #488
Demote to GWT 2.5.0 see #492