Fixes #758 - GWT compile errors