431432433434435436437438439440441
if (val == null) { continue; } String header = null; boolean skipHeader = xpl_note.skipHeader(); boolean emptyHeader = false; if (!xpl_note.displayName().equals("")) { header = indentString(prop_indents) + xpl_note.displayName() + ":"; }
492493494495496497498499500501502
606607608609610611612613614615616