public void save() {
dumpPane.save();
for (NestedTable nt : nestedTableList) {
nt.saveState();
}
prefs.putBeanObject("InfoWindowBounds", infoWindow.getBounds());
prefs.putBeanObject("DumpWindowBounds", dumpWindow.getBounds());
if (attWindow != null) prefs.putBeanObject("AttWindowBounds", attWindow.getBounds());
prefs.putInt("mainSplit", mainSplit.getDividerLocation());
}
