Changeset 9971 in josm for trunk/src/org/openstreetmap/josm/tools
- Timestamp:
- 2016-03-12T23:29:58+01:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/tools/Utils.java
r9954 r9971 145 145 } 146 146 147 @SuppressWarnings("unused") 147 148 public static <T> Collection<T> filter(Collection<? extends T> collection, Predicate<? super T> predicate) { 148 149 // Diamond operator does not work with Java 9 here
Note: See TracChangeset
for help on using the changeset viewer.