public static void javaOutputCatch(Cons tree) {
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(" catch (");
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(((StringWrapper)(((Cons)(tree.value)).value)).wrapperValue);
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(" ");
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(((StringWrapper)(((Cons)(tree.value)).rest.value)).wrapperValue);
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println(") {");
    Stella.javaBumpIndent();
    Cons.javaOutputStatements(tree.rest);
    Stella.javaUnbumpIndent();
    Stella.javaIndent();
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print("}");
  }