if (startChar == 'v') expect (source, pos, attrName="version"); if (version != null) throw new XMLParseException ("Found a second version attribute", source, pos); expect (source, pos, attrName="encoding"); if (encoding != null) throw new XMLParseException ("Found a second encoding attribute", source, pos); expect (source, pos, attrName="standalone"); if (sawStandalone) throw new XMLParseException ("Found a second standalone attribute", source, pos);