void (final String eName, final String aName, final String type, final String valueDefault, final String value) { if (!inInternalSubset) { return; } internalSubset.append(" <!ATTLIST ").append(eName).append(' ') .append(aName).append(' ').append(type).append(' '); if (valueDefault != null) { internalSubset.append(valueDefault); } else { internalSubset.append('\"').append(value).append('\"'); } if ((valueDefault != null) && (valueDefault.equals("#FIXED"))) { internalSubset.append(" \"").append(value).append('\"'); } internalSubset.append(">\n"); }