static S getMainJava(O o) ctex {
  Class c = toClass(o);
  if (!c.getName().equals("main"))
    c = c.getClassLoader().loadClass("main");
  ret (S) call(getJavaX(), "getSourceCodeForClass", c);
}