public static Cons javaTranslateWithProcessLock(Cons tree) {
    return (Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_WITH_PROCESS_LOCK, Cons.cons(Stella_Object.javaTranslateATree(tree.rest.value), Cons.cons(Cons.cons(Cons.cons(Stella.SYM_STELLA_JAVA_STATEMENTS, Cons.javaTranslateListOfTrees(tree.rest.rest).concatenate(Stella.NIL, Stella.NIL)), Stella.NIL), Stella.NIL)))));
  }