Index: src/org/openstreetmap/josm/gui/dialogs/FilterDialog.java
IDEA additional info:
Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
<+>UTF-8
===================================================================
--- a/src/org/openstreetmap/josm/gui/dialogs/FilterDialog.java	(revision 17142)
+++ b/src/org/openstreetmap/josm/gui/dialogs/FilterDialog.java	(date 1602341931587)
@@ -365,7 +365,7 @@
      */
     public void updateDialogHeader() {
         SwingUtilities.invokeLater(() -> setTitle(
-                tr("Filter Hidden:{0} Disabled:{1}",
+                tr("Filter Hidden: {0} Disabled: {1}",
                         filterModel.model.getDisabledAndHiddenCount(), filterModel.model.getDisabledCount())));
     }