202203204205206207208209210211212
if (val == null) { continue; } String header = null; if (!xpl_note.displayName().equals("")){ header = indentString(prop_indents) + xpl_note.displayName() +":"; } else { prop_indents = indent; header = indentString(prop_indents); }
203204205206207208209210211212213
continue; } String header = null; if (!xpl_note.displayName().equals("")){ header = indentString(prop_indents) + xpl_note.displayName() +":"; } else { prop_indents = indent; header = indentString(prop_indents); }