{ String name;
{ String name;  requireWhitespace();  name = readNmtoken(true);
    private void parseElementDecl ()    throws Exception    {	String name;	requireWhitespace ();	// Read the element type name.	name = readNmtoken (true);	requireWhitespace ();	// Read the content model.	parseContentspec (name);	skipWhitespace ();	require ('>');    }