Get rid of some code that wasn't compatible with GWT.