320321322323324325326327328329330
} else { String prefix = "BIND "; while (iter.hasNext()) { Binding binding = iter.next(); stringWriter.write(prefix); binding.writeTo(stringWriter); prefix = ",\n "; } } stringWriter.write("\n"); }