public static void javaOutputProgn(Cons progn) {
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println("{");
    Stella.javaBumpIndent();
    Stella_Object.javaOutputStatement(progn);
    Stella.javaUnbumpIndent();
    Stella.javaIndent();
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println("}");
  }