Misc. utils for GWT