GWT linker stuff, used by the Java2Javascript compiler.