Changeset 17526 in josm for trunk/src/org/openstreetmap/josm

Timestamp:

2021-02-22T16:56:12+01:00 (4 years ago)

Author:

Don-vip

Message:

remove unneeded cast

File:

• trunk/src/org/openstreetmap/josm/io/FileWatcher.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/io/FileWatcher.java

@@ -54 +54 @@
         try {
             watcher = FileSystems.getDefault().newWatchService();
-            thread = new Thread((Runnable) this::processEvents, "File Watcher");
+            thread = new Thread(this::processEvents, "File Watcher");
         } catch (IOException | UnsupportedOperationException | UnsatisfiedLinkError e) {
             Logging.error(e);