error-prone has found StreamResourceLeak defect in jdk.internal.ed module:
src/jdk.internal.ed/share/classes/jdk/internal/editor/external/ExternalEditor.java:192: warning: [StreamResourceLeak] Streams that encapsulate a closeable resource should be closed using try-with-resources
            saveHandler.accept(Files.lines(tmpfile).collect(Collectors.joining("\n", "", "\n")));
                                          ^
    (see https://errorprone.info/bugpattern/StreamResourceLeak.md)
  Did you mean 'try (Stream<String> stream = Files.lines(tmpfile)) {'?