} else {
Node node = nameEntry.getNode();
TagAttributeInfo tagAttr = nameEntry.getTagAttributeInfo();
if (! "java.lang.String".equals(tagAttr.getTypeName())
|| ! tagAttr.isRequired()
|| tagAttr.canBeRequestTime()){
err.jspError(nameFromNode,
"jsp.error.tagfile.nameFrom.badAttribute",
nameFrom,
Integer.toString(node.getStart().getLineNumber()));
}