Merge branch 'pr-1184'

2018-06-16 19:51:58 +02:00
parent 79efd28e2f b95efe2e1c
commit 9bf3472159
2 changed files with 2 additions and 1 deletions
--- a/pmd-core/src/main/java/net/sourceforge/pmd/cpd/GUI.java
+++ b/pmd-core/src/main/java/net/sourceforge/pmd/cpd/GUI.java
@ -631,7 +631,7 @@ public class GUI implements CPDListener {
            int separatorPos = sourceId.lastIndexOf(File.separatorChar);
            label = "..." + sourceId.substring(separatorPos);
        } else {
-            label = '(' + sourceIDs.size() + " separate files)";
+            label = String.format("(%d separate files)", sourceIDs.size());
        }

        match.setLabel(label);