public static Cons javaTranslateProgn(Cons tree) {
    return (Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_PROGN, Cons.cons(Cons.cons(Stella.SYM_STELLA_JAVA_STATEMENTS, Cons.javaTranslateListOfTrees(tree.rest).concatenate(Stella.NIL, Stella.NIL)), Cons.cons(Stella.NIL, Stella.NIL)))));
  }