Some simple optimizations for GWT/Java