public static void javaOutputMethod(Cons method) {
    { Cons body = null;
      Cons comment = null;

      { Object [] caller_MV_returnarray = new Object[1];

        body = Cons.javaSeparateCommentFromBody(((Cons)(method.fifth())), caller_MV_returnarray);
        comment = ((Cons)(caller_MV_returnarray[0]));
      }
      if (comment != null) {
        Stella.javaIndent();
        StringWrapper.javaOutputJavadocComment(((StringWrapper)(comment.rest.value)), ((Cons)(method.fourth())), ((StringWrapper)(((Cons)(method.rest.value)).value)), null, null);
      }
      Stella.javaIndent();
      Cons.javaOutputMethodSignature(method);
      if (!(body == Stella.NIL)) {
        ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println(" {");
        Stella.javaBumpIndent();
        Stella_Object.javaOutputStatement(body);
        Stella.javaUnbumpIndent();
        Stella.javaIndent();
        ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println("}");
      }
      else if (((Cons)(method.value)).memberP(StringWrapper.wrapString("abstract"))) {
        ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println(";");
      }
      else if (((Cons)(method.rest.value)).memberP(StringWrapper.wrapString("void"))) {
        System.out.println("Note: Void method `" + method.rest.rest.value + "' has an empty body.");
        ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println(" {}");
      }
      else {
        Stella.STANDARD_WARNING.nativeStream.println("Warning: Method `" + method.rest.rest.value + "' has an empty body but is not abstract or void!");
        ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println(" {}");
      }
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println();
    }
  }