797798799800801802803804805806807
{ ParseException.badRepIDForm (scanner, string); } else { entry.repositoryID (new RepositoryID (string)); PragmaIDs.addElement (entry); // <d57110> } match (Token.StringLiteral); } } // idPragma