void (final String name, final String publicID, final String systemID) { if (!inInternalSubset) { return; } internalSubset.append(" <!NOTATION ").append(name); appendExternalId(publicID, systemID); internalSubset.append(">\n"); }