fields,
  public void genInnerJavaCode(KjcPrettyPrinter p) {    super.accept(p);    p.visitInnerClassDeclaration(this,				 modifiers,				 ident,				 superName,				 interfaces,				 inners,				 body,				 methods);  }