Rid World.java of defunct GWT annotation workarounds.