public static void javaOutputClassDeclaration(Cons classdef) {
    if (StringWrapper.unwrapString(((StringWrapper)(classdef.value))) != null) {
      StringWrapper.javaOutputJavadocComment(((StringWrapper)(classdef.value)), null, null, "Stella Java Translator", null);
    }
    { Stella_Object m = null;
      Cons iter000 = ((Cons)(classdef.rest.value));

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        m = iter000.value;
        ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(((StringWrapper)(m)).wrapperValue + " ");
      }
    }
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(((StringWrapper)(classdef.rest.rest.value)).wrapperValue + " " + ((StringWrapper)(classdef.fourth())).wrapperValue + " ");
    if (classdef.fifth() != null) {
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print("extends " + ((StringWrapper)(classdef.fifth())).wrapperValue + " ");
    }
    if (!(((Cons)(classdef.nth(5))) == Stella.NIL)) {
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print("implements ");
      Cons.javaOutputImplementsInterfaces(((Cons)(classdef.nth(5))));
    }
  }