public static void javaOutputArray(Cons arrayelements) {
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print("{");
    if (arrayelements.value != null) {
      Stella_Object.javaOutputStatement(arrayelements.value);
    }
    { Stella_Object element = null;
      Cons iter000 = arrayelements.rest;

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        element = iter000.value;
        ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(", ");
        Stella_Object.javaOutputStatement(element);
      }
    }
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print("}");
  }