bug fixes for GWT 2.6