public static Cons javaTranslateChooseTree(Cons tree) {
    { Stella_Object test = tree.rest.value;
      Stella_Object truebody = tree.rest.rest.value;
      Stella_Object falsebody = tree.rest.rest.rest.value;

      tree.rest.rest = Stella.NIL;
      return (Cons.javaTranslateOperatorCall(Cons.cons(StringWrapper.wrapString("?"), Cons.cons(StringWrapper.wrapString(":"), Stella.NIL)), Cons.cons(test, Cons.cons(truebody, Cons.cons(falsebody, Stella.NIL))), 3));
    }
  }