public static Cons javaTranslateGeneralSymbol(Symbol tree) {
    { GlobalVariable globalvar = tree.softPermanentify().lookupGlobalVariable();

      if (globalvar == null) {
        return (Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_IDENT, Cons.cons(Symbol.javaTranslateName(tree), Cons.cons(Stella.NIL, Stella.NIL)))));
      }
      else if (globalvar.variableSpecialP) {
        return (Cons.javaTranslateObjectToReturnType(Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_METHOD_CALL, Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_IDENT, Cons.cons(StringWrapper.wrapString(""), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_IDENT, Cons.cons(StringWrapper.wrapString("get"), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_IDENT, Cons.cons(Symbol.javaTranslateGlobalName(tree, false), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.cons(Stella.SYM_STELLA_JAVA_ACTUALS, Stella.NIL), Cons.cons(Stella.NIL, Stella.NIL))))))), GlobalVariable.globalVariableTypeSpec(globalvar)));
      }
      else {
        return (Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_IDENT, Cons.cons(Symbol.javaTranslateGlobalName(tree, false), Cons.cons(Stella.NIL, Stella.NIL)))));
      }
    }
  }