public void write(String file) {
Hashtable<String, CodeBox> boxes = new Hashtable<String, CodeBox>();
collect(file, boxes);
try {
PrintStream fout = new PrintStream(file);
for (String n : boxes.keySet()) boxes.get(n).pprint(n, fout);
} catch (IOException e) {
e.printStackTrace();
}
}
