public static Cons javaTranslateWhenTree(Cons tree) {
    { Stella_Object test = Stella_Object.javaTranslateATree(tree.rest.value);
      Cons body = Cons.javaTranslateListOfTrees(tree.rest.rest);

      tree.rest.rest = Stella.NIL;
      return (Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_WHEN, Cons.cons(test, Cons.cons(Cons.cons(Cons.cons(Stella.SYM_STELLA_JAVA_STATEMENTS, body.concatenate(Stella.NIL, Stella.NIL)), Stella.NIL), Stella.NIL)))));
    }
  }