acc.append(readNmtoken(isNames));
String token = readNmtoken(isNames); acc.append(token); values.add(token);
  private void readEnumeration(boolean isNames, StringBuffer acc)    throws IOException, XMLStreamException  {    acc.append('(');    // first token    skipWhitespace();    acc.append(readNmtoken(isNames));    // subsequent tokens    skipWhitespace();    while (!tryRead(')'))      {        require('|');        acc.append('|');        skipWhitespace();        acc.append(readNmtoken(isNames));        skipWhitespace();      }    acc.append(')');  }