GWT overrides