expandPE = saved;
  private void readElementDecl()    throws IOException, XMLStreamException  {    requireWhitespace();    String name = readNmtoken(true);    requireWhitespace();    readContentspec(name);    skipWhitespace();    require('>');  }