readDefault(elementName, name, type, enumer);
readDefault(elementName, name, type, enumer, values);
  private void readAttDef(String elementName)    throws IOException, XMLStreamException  {    String name = readNmtoken(true);    requireWhitespace();    StringBuffer acc = new StringBuffer();    String type = readAttType(acc);    String enumer = null;    if ("ENUMERATION".equals(type) || "NOTATION".equals(type))      enumer = acc.toString();    requireWhitespace();    readDefault(elementName, name, type, enumer);  }