Changeset 7005 in josm for trunk/src/org/openstreetmap/josm/gui/help/HelpBrowserHistory.java

Timestamp:

2014-04-26T17:39:23+02:00 (10 years ago)

Author:

Don-vip

Message:

see #8465 - use diamond operator where applicable

File:

• trunk/src/org/openstreetmap/josm/gui/help/HelpBrowserHistory.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/help/HelpBrowserHistory.java

@@ -14 +14 @@
     public HelpBrowserHistory(HelpBrowser browser) {
         this.browser = browser;
-        history = new ArrayList<String>();
+        history = new ArrayList<>();
     }
 
@@ -58 +58 @@
             // do nothing just append
         } else if (historyPos ==0 && history.size() > 0) {
-            history = new ArrayList<String>(Collections.singletonList(history.get(0)));
+            history = new ArrayList<>(Collections.singletonList(history.get(0)));
         } else if (historyPos < history.size() -1 && historyPos > 0) {
-            history = new ArrayList<String>(history.subList(0, historyPos));
+            history = new ArrayList<>(history.subList(0, historyPos));
         } else {
-            history = new ArrayList<String>();
+            history = new ArrayList<>();
         }
         if(add)