Changeset 7082 in josm for trunk/src/org/openstreetmap/josm/data/AutosaveTask.java
- Timestamp:
- 2014-05-09T05:32:37+02:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/AutosaveTask.java
r7037 r7082 12 12 import java.io.PrintStream; 13 13 import java.lang.management.ManagementFactory; 14 import java.nio.charset.StandardCharsets; 14 15 import java.util.ArrayList; 15 16 import java.util.Date; … … 40 41 import org.openstreetmap.josm.io.OsmExporter; 41 42 import org.openstreetmap.josm.io.OsmImporter; 42 import org.openstreetmap.josm.tools.Utils;43 43 44 44 /** … … 303 303 File pidFile = getPidFile(file); 304 304 if (pidFile.exists()) { 305 try (BufferedReader reader = new BufferedReader(new InputStreamReader(new FileInputStream(pidFile), Utils.UTF_8))) {305 try (BufferedReader reader = new BufferedReader(new InputStreamReader(new FileInputStream(pidFile), StandardCharsets.UTF_8))) { 306 306 String jvmId = reader.readLine(); 307 307 if (jvmId != null) {
Note:
See TracChangeset
for help on using the changeset viewer.