Searched refs:badChars (Results 1 – 1 of 1) sorted by relevance
465 Enumeration badChars = chars.keys() ; in checkTags() local474 if (badChars.hasMoreElements()) { in checkTags()477 while(badChars.hasMoreElements()) { in checkTags()478 log.println(" <" + ((String) badChars.nextElement()) + ">") ; in checkTags()
Completed in 24 milliseconds