configurationWriter.close();
/** * Saves the current ProGuard configuration to the given file. */ private void saveConfiguration(File file) { try { // Save the configuration file. ConfigurationWriter writer = new ConfigurationWriter(file); try { writer.write(getProGuardConfiguration()); } finally { writer.close(); } } catch (Exception ex) { JOptionPane.showMessageDialog(getContentPane(), msg("cantSaveConfigurationFile", file.getPath()), msg("warning"), JOptionPane.ERROR_MESSAGE); } }