Ignore:
Timestamp:
2019-01-27T22:26:35+01:00 (5 years ago)
Author:
simon04
Message:

Refactoring: use StandardCharsets

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/layer/AutosaveTask.java

    r13852 r14746  
    1010import java.io.FileFilter;
    1111import java.io.IOException;
    12 import java.io.PrintStream;
    1312import java.lang.management.ManagementFactory;
    1413import java.nio.charset.StandardCharsets;
     
    1615import java.nio.file.Path;
    1716import java.util.ArrayList;
     17import java.util.Collections;
    1818import java.util.Date;
    1919import java.util.Deque;
     
    223223    private static void createNewPidFile(File autosaveDir, String filename) {
    224224        File pidFile = new File(autosaveDir, filename+".pid");
    225         try (PrintStream ps = new PrintStream(pidFile, "UTF-8")) {
    226             ps.println(ManagementFactory.getRuntimeMXBean().getName());
     225        try {
     226            final String content = ManagementFactory.getRuntimeMXBean().getName();
     227            Files.write(pidFile.toPath(), Collections.singleton(content), StandardCharsets.UTF_8);
    227228        } catch (IOException | SecurityException t) {
    228229            Logging.error(t);
Note: See TracChangeset for help on using the changeset viewer.