public static void javaOutputImplementsInterfaces(Cons interfacelist) {
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(((StringWrapper)(interfacelist.value)).wrapperValue);
    { StringWrapper renamed_Interface = null;
      Cons iter000 = interfacelist.rest;

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        renamed_Interface = ((StringWrapper)(iter000.value));
        ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(", " + renamed_Interface.wrapperValue);
      }
    }
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(" ");
  }