null,
JFieldDeclaration.EMPTY,
    private JClassDeclaration toFlatClass() {	// construct resulting class	return new JClassDeclaration(/* TokenReference where */				     null,				     /* int modifiers */				     at.dms.kjc.Constants.ACC_PUBLIC,				     /* java.lang.String ident */				     "Main",				     /* CClassType superClass */				     null,				    /* CClassType[] interfaces */				     CClassType.EMPTY,				     /* JFieldDeclaration[] fields */				     null,				     /* JMethodDeclaration[] methods */				     (JMethodDeclaration[])				     flatMethods.toArray(JMethodDeclaration.							 EMPTY),				     /* JTypeDeclaration[] inners */				     (JTypeDeclaration[])				     structs.toArray(JClassDeclaration.EMPTY),				     /* JPhylum[] initializers */				     null,				     /* JavadocComment javadoc */				     null,				     /* JavaStyleComment[] comment */				     null);    }