public static void javaOutputParseTree(Cons constree) {
    { Object old$JavaIndentChars$000 = Stella.$JAVA_INDENT_CHARS$.get();

      try {
        Native.setIntSpecial(Stella.$JAVA_INDENT_CHARS$, 0);
        Stella.$JAVA_STELLA_PACKAGE_MAPPING$.insertAt(StringWrapper.wrapString("STELLAROOT"), StringWrapper.wrapString(Stella.javaStellaPackage()));
        Stella_Object.javaOutputStatement(constree);

      } finally {
        Stella.$JAVA_INDENT_CHARS$.set(old$JavaIndentChars$000);
      }
    }
  }