throws Throwable
  public static Value java(Env env, String className,			   Value []args)    throws Throwable  {    JavaClassDef def = env.getJavaClassDefinition(className);    return def.evalNew(env, args);  }