我有一个对象负责将JTable状态保存到磁盘。它保存/加载可见列、它们的大小、位置等。下面是其类定义中一些有趣的部分。classTableSaver{Timertimer=newTimer(true);TableSaver(){timer.schedule(newTableSaverTimerTask(),15000,SAVE_STATE_PERIOD);}synchronizedTableColumnsload(PersistentTabletable){Stringxml=loadFile(table.getTableKey());//parseXML,return}synchro