Index: /trunk/src/org/openstreetmap/josm/data/Preferences.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 9617)
+++ /trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 9618)
@@ -1418,5 +1418,5 @@
                 if (evalue instanceof Collection) {
                     JsonArrayBuilder a = Json.createArrayBuilder();
-                    for (Object evo : (Collection)evalue) {
+                    for (Object evo: (Collection) evalue) {
                         a.add(evo.toString());
                     }
@@ -1440,6 +1440,6 @@
                 JsonValue value = e.getValue();
                 if (value instanceof JsonArray) {
-                    List <String> finalList = new ArrayList<String>();
-                    for(JsonString js: ((JsonArray)value).getValuesAs(JsonString.class)) {
+                    List<String> finalList = new ArrayList<String>();
+                    for (JsonString js: ((JsonArray) value).getValuesAs(JsonString.class)) {
                         finalList.add(js.getString());
                     }
Index: /trunk/src/org/openstreetmap/josm/data/osm/DataSet.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/data/osm/DataSet.java	(revision 9617)
+++ /trunk/src/org/openstreetmap/josm/data/osm/DataSet.java	(revision 9618)
@@ -1253,6 +1253,6 @@
         try {
             if (cleanupDeleted(nodes.iterator())
-                    | cleanupDeleted(ways.iterator())
-                    | cleanupDeleted(relations.iterator())) {
+                    || cleanupDeleted(ways.iterator())
+                    || cleanupDeleted(relations.iterator())) {
                 fireSelectionChanged();
             }