GWT 2.5.1 + superdevmode