110111112113114115116117118119120
if (recon != null) { writer.key("r"); writer.value(Long.toString(recon.id)); Pool pool = (Pool) options.get("pool"); pool.pool(recon); } writer.endObject(); } public void save(Writer writer, Properties options) {