Changeset 5874 in josm for trunk/src/org/openstreetmap/josm/data/CustomConfigurator.java
- Timestamp:
- 2013-04-16T19:57:43+02:00 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/CustomConfigurator.java
r5590 r5874 1 1 package org.openstreetmap.josm.data; 2 2 3 import javax.script.ScriptException;4 import org.openstreetmap.josm.Main;5 import org.openstreetmap.josm.data.Preferences.Setting;6 3 import static org.openstreetmap.josm.tools.I18n.tr; 7 4 … … 12 9 import java.io.File; 13 10 import java.io.FileInputStream; 14 import java.io.IOException;15 11 import java.io.InputStream; 16 17 12 import java.util.ArrayList; 18 import java.util.Arrays;19 13 import java.util.Collection; 20 14 import java.util.Collections; … … 30 24 import java.util.regex.Matcher; 31 25 import java.util.regex.Pattern; 26 32 27 import javax.script.ScriptEngine; 33 28 import javax.script.ScriptEngineManager; 29 import javax.script.ScriptException; 34 30 import javax.swing.JOptionPane; 35 31 import javax.swing.SwingUtilities; … … 42 38 import javax.xml.transform.stream.StreamResult; 43 39 40 import org.openstreetmap.josm.Main; 41 import org.openstreetmap.josm.data.Preferences.Setting; 44 42 import org.openstreetmap.josm.gui.io.DownloadFileTask; 45 43 import org.openstreetmap.josm.plugins.PluginDownloadTask; … … 47 45 import org.openstreetmap.josm.plugins.ReadLocalPluginInformationTask; 48 46 import org.openstreetmap.josm.tools.LanguageInfo; 47 import org.openstreetmap.josm.tools.Utils; 49 48 import org.w3c.dom.Document; 50 49 import org.w3c.dom.Element; … … 441 440 log("Error reading custom preferences: "+ex.getMessage()); 442 441 } finally { 443 try { 444 if (is != null) { 445 is.close(); 446 } 447 } catch (IOException ex) { } 442 Utils.close(is); 448 443 } 449 444 log("-- Reading complete --");
Note:
See TracChangeset
for help on using the changeset viewer.
