public static void javaOutputCase(Cons renamed_Case) {
    { Stella_Object keyform = renamed_Case.value;
      Stella_Object defaultcase = renamed_Case.rest.value;
      Stella_Object conditions = renamed_Case.rest.rest.value;

      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print("switch (");
      Stella_Object.javaOutputStatement(keyform);
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println(") {");
      Stella.javaBumpIndent();
      { Cons c = null;
        Cons iter000 = ((Cons)(conditions));

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          c = ((Cons)(iter000.value));
          { Cons condition = c;

            { Stella_Object cond = null;
              Cons iter001 = ((Cons)((Stella_Object.consP(((Cons)(condition.value)).value) ? condition.value : Cons.cons(condition.value, Stella.NIL))));

              for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
                cond = iter001.value;
                Stella.javaIndent();
                ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print("case ");
                Stella_Object.javaOutputStatement(cond);
                ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println(": ");
              }
            }
            Stella.javaBumpIndent();
            Stella_Object.javaOutputStatement(condition.rest.value);
            Stella.javaUnbumpIndent();
            if (!(Cons.javaLastStatementReturnsP(((Cons)(condition.rest.value))))) {
              Stella.javaIndent();
              ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println("break;");
            }
          }
        }
      }
      if (!(defaultcase != null)) {
        System.err.print("Safety violation: INTERNAL ERROR: `java-output-case' expects an `otherwise' clause.");
      }
      Stella.javaIndent();
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println("default:");
      Stella.javaBumpIndent();
      Stella_Object.javaOutputStatement(defaultcase);
      Stella.javaUnbumpIndent();
      if (!(Cons.javaLastStatementReturnsP(((Cons)(defaultcase))))) {
        Stella.javaIndent();
        ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println("break;");
      }
      Stella.javaUnbumpIndent();
      Stella.javaIndent();
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println("}");
    }
  }