Changeset 16436 in josm for trunk/src/org/openstreetmap/josm/data/projection/datum/NTV2Proj4DirGridShiftFileSource.java

Timestamp:

2020-05-17T12:08:17+02:00 (4 years ago)

Author:

simon04

Message:

see #19251 - Java 8: use Stream

File:

• trunk/src/org/openstreetmap/josm/data/projection/datum/NTV2Proj4DirGridShiftFileSource.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/data/projection/datum/NTV2Proj4DirGridShiftFileSource.java

@@ -43 +43 @@
     @Override
     public InputStream getNTV2GridShiftFile(String gridFileName) {
-        File grid = null;
         // Check is the grid is installed in default PROJ.4 directories
-        for (File dir : Platform.determinePlatform().accept(this)) {
-            File file = new File(dir, gridFileName);
-            if (file.exists() && file.isFile()) {
-                grid = file;
-                break;
-            }
-        }
+        File grid = Platform.determinePlatform().accept(this).stream()
+                .map(dir -> new File(dir, gridFileName))
+                .filter(file -> file.exists() && file.isFile())
+                .findFirst().orElse(null);
         // If not, search into PROJ_LIB directory
         if (grid == null) {