182183184185186187188189190191192
first = false; else s.append(' '); s.append(name); if (val != HMarker.VAL) { s.append(':').append(val.toZinc()); } } return s.toString(); }
7778798081828384858687
if (val == null) { if (i == 0) out.write('N'); } else { out.write(val.toZinc()); } } out.write('\n'); }
99100101102103104105106107108
HVal val = entry.getValue(); out.write(' '); out.write(name); if (val != HMarker.VAL) { out.write(':'); out.write(val.toZinc()); } } } }