// saves the current configuration (breakpoints, window sizes and positions...) private void saveConfig() { try { ObjectOutputStream out = new ObjectOutputStream(new FileOutputStream(idxName + ".config")); Breakpoints.save(out); Properties.save(out); out.close(); } catch (IOException exc) { consoleFrame.echoInfo("Could not save settings: " + exc); } }