7273747576777879808182
c = source.charAt (pos); if (c == endChar) break; if (c == '<') { Location l = new Location(source, pos); System.err.println("Illegal character in attribute value: '"+c+"' in "+originDetails+" at "+l); } } // Skip end-char