sO dm_evalJava_veryQuickJava;

static O dm_evalJava_withModule(S expression, O... args) {

  O m = dm_current_generic(); // dm_current_mandatory_generic();

  S code = evalJava_prep(expression) + [[

    static new InheritableThreadLocal<WeakReference> dm_currentModule_value;

    sO dm_current_mandatory_generic_value;

    sO dm_current_mandatory_generic() { ret dm_current_mandatory_generic_value; }

    sO dm_current_generic() { ret dm_current_mandatory_generic(); }

  ]];

  O obj;

  ifdef dm_evalJava_withModule_debug

    printVars_str("dm_evalJava_withModule: ", +dm_evalJava_veryQuickJava);

  endifdef

  if (dm_evalJava_veryQuickJava != null)

    obj = callF(dm_evalJava_veryQuickJava, code);

  else

    obj = veryQuickJava(code);

  setOpt(obj, programID := programID());

  makeDependent(obj);

  setOpt(obj, creator_class := newWeakReference(dm_os()));

  dm_pointSubmoduleToMe(obj, m);

  ret evalJava_myProgramID_main_2(obj, args);

}