GWT fixes for user agent based on GXT