protected void writeRecons(Writer writer, Properties options, Map<Long, Recon> recons, String key) throws IOException {
writer.write(key + "="); writer.write(Integer.toString(recons.size())); writer.write('\n');
for (Recon recon : recons.values()) {
Pool pool = (Pool) options.get("pool");
pool.poolReconCandidates(recon);
JSONWriter jsonWriter = new JSONWriter(writer);
try {
recon.write(jsonWriter, options);
} catch (JSONException e) {