Ticket #16976: 16976_core.patch

src/org/openstreetmap/josm/gui/mappaint/Cascade.java

@@ -180 +180 @@
             try {
                 return Float.valueOf((String) o);
             } catch (NumberFormatException e) {
-                Logging.debug("'{0}' cannot be converted to float", o);
+                Logging.debug("''{0}'' cannot be converted to float", o);
             }
         }
         return null;

src/org/openstreetmap/josm/io/OverpassDownloadReader.java

@@ -301 +301 @@
         idOffset.put(OsmPrimitiveType.WAY, 2_400_000_000L);
         idOffset.put(OsmPrimitiveType.RELATION, 3_600_000_000L);
         final PrimitiveId osmId = searchName(area).getOsmId();
-        Logging.debug("Area '{0}' resolved to {1}", area, osmId);
+        Logging.debug("Area ''{0}'' resolved to {1}", area, osmId);
         return String.format("area(%d)", osmId.getUniqueId() + idOffset.get(osmId.getType()));
     }
 

src/org/openstreetmap/josm/plugins/PluginHandler.java

@@ -986 +986 @@
             String systemProp = Utils.getSystemProperty("josm.plugins");
             if (systemProp != null) {
                 plugins.addAll(Arrays.asList(systemProp.split(",")));
-                Logging.debug("josm.plugins system property set to '{0}'. Plugins list is now {1}", systemProp, plugins);
+                Logging.debug("josm.plugins system property set to ''{0}''. Plugins list is now {1}", systemProp, plugins);
             }
             monitor.subTask(tr("Removing deprecated plugins..."));
             filterDeprecatedPlugins(parent, plugins);

src/org/openstreetmap/josm/tools/ImageProvider.java

@@ -1339 +1339 @@
                     .setMaxSize(ImageSizes.CURSOROVERLAY))).get();
         }
         if (GraphicsEnvironment.isHeadless()) {
-            Logging.debug("Cursors are not available in headless mode. Returning null for '{0}'", name);
+            Logging.debug("Cursors are not available in headless mode. Returning null for ''{0}''", name);
             return null;
         }
         return Toolkit.getDefaultToolkit().createCustomCursor(img.getImage(),