svoid getJavaXDirectly() { if (__javax == null) __javax = classForName("x30"); }