public static Cons javaTranslateOperatorTree(Cons tree) {
    { Cons operator = Symbol.javaLookupOperatorTable(((Symbol)(tree.value)));
      Cons args = tree.rest;
      int arity = Stella.NULL_INTEGER;

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

        if ((testValue000 == Stella.SYM_STELLA_AND) ||
            ((testValue000 == Stella.SYM_STELLA_OR) ||
             ((testValue000 == Stella.SYM_STELLA_EQp) ||
              ((testValue000 == Stella.SYM_STELLA_g) ||
               ((testValue000 == Stella.SYM_STELLA_ge) ||
                ((testValue000 == Stella.SYM_STELLA_l) ||
                 (testValue000 == Stella.SYM_STELLA_le))))))) {
          arity = 2;
        }
        else if ((testValue000 == Stella.SYM_STELLA_NOT) ||
            ((testValue000 == Stella.SYM_STELLA_ii) ||
             (testValue000 == Stella.SYM_STELLA___))) {
          arity = 1;
        }
        else {
          { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

            stream000.nativeStream.print("`" + testValue000 + "' is not a valid case option");
            throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
          }
        }
      }
      return (Cons.javaTranslateOperatorCall(operator, args, arity));
    }
  }