public static Stella_Object javaTranslateTheCode(Cons tree) {
    { Cons otree = null;
      MethodSlot fn = null;
      String classname = "";
      String functionname = "";

      { GeneralizedSymbol testValue000 = ((GeneralizedSymbol)(tree.rest.value));

        if (testValue000 == Stella.KWD_FUNCTION) {
          fn = Symbol.lookupFunction(((Symbol)(tree.rest.rest.value)));
          if (!(fn != null)) {
            fn = ((MethodSlot)(tree.fourth()));
          }
          if (!(fn != null)) {
            {
              Stella.STANDARD_WARNING.nativeStream.println("Warning: Can't translate the-code form for function `" + tree.rest.rest.value + "'");
              Stella.STANDARD_WARNING.nativeStream.println(" because it there is no corresponding function object");
            }
;
            return (Stella.javaTranslateNull());
          }
          { StringWrapper value000 = null;
            StringWrapper value001 = null;

            { Object [] caller_MV_returnarray = new Object[1];

              value000 = MethodSlot.javaYieldTranslatedClassAndFunctionNames(fn, caller_MV_returnarray);
              value001 = ((StringWrapper)(caller_MV_returnarray[0]));
            }
            {
              classname = value000.wrapperValue;
              functionname = value001.wrapperValue;
            }
          }
          otree = Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_FUNCTION_CALL, Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_IDENT, Cons.cons(StringWrapper.wrapString(Stella.javaYieldNativeClassName()), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_IDENT, Cons.cons(StringWrapper.wrapString("find_java_method"), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_ACTUALS, Cons.cons(StringWrapper.wrapString(classname), Cons.cons(Cons.cons(StringWrapper.wrapString(functionname), Cons.cons(MethodSlot.javaTranslateParamTypeSpecifications(fn, fn.slotOwner), Stella.NIL)), Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))));
        }
        else if (testValue000 == Stella.KWD_METHOD) {
          fn = ((MethodSlot)(Stella_Class.lookupSlot(((Stella_Class)(((Surrogate)(tree.rest.rest.value)).surrogateValue)), ((Symbol)(tree.fourth())))));
          if (!(fn != null)) {
            {
              Stella.STANDARD_WARNING.nativeStream.println("Warning: Can't translate the-code form for method `" + tree.fourth() + "'");
              Stella.STANDARD_WARNING.nativeStream.println(" because it there is no corresponding function object");
            }
;
            return (Stella.javaTranslateNull());
          }
          { Object [] caller_MV_returnarray = new Object[1];

            classname = StandardObject.javaYieldTranslatedClassAndMethodNames(((StandardObject)(tree.rest.rest.value)), fn, caller_MV_returnarray);
            functionname = ((String)(((StringWrapper)(caller_MV_returnarray[0])).wrapperValue));
          }
          otree = Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_FUNCTION_CALL, Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_IDENT, Cons.cons(StringWrapper.wrapString(Stella.javaYieldNativeClassName()), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_IDENT, Cons.cons(StringWrapper.wrapString("find_java_method"), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_ACTUALS, Cons.cons(StringWrapper.wrapString(classname), Cons.cons(Cons.cons(StringWrapper.wrapString(functionname), Cons.cons(MethodSlot.javaTranslateParamTypeSpecifications(fn, ((StandardObject)(tree.rest.rest.value))), Stella.NIL)), Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))));
        }
        else {
          { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

            stream000.nativeStream.print("`" + testValue000 + "' is not a valid case option");
            throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
          }
        }
      }
      return (otree);
    }
  }