647648649650651652653654655656657
} else { saver = fileChooser.getSaver(); try { saver.setInstances(panel.getInstances()); saver.writeBatch(); panel.setChanged(false); setCurrentFilename(filename); } catch (Exception e) { e.printStackTrace();