diff --git a/pmd/src/main/java/net/sourceforge/pmd/util/designer/Designer.java b/pmd/src/main/java/net/sourceforge/pmd/util/designer/Designer.java index 5bb948afd2..866d271afa 100644 --- a/pmd/src/main/java/net/sourceforge/pmd/util/designer/Designer.java +++ b/pmd/src/main/java/net/sourceforge/pmd/util/designer/Designer.java @@ -233,8 +233,8 @@ public class Designer implements ClipboardOwner { return item.toString(); } - public Enumeration children() { - Enumeration e = new Enumeration() { + public Enumeration children() { + Enumeration e = new Enumeration() { int i = 0; public boolean hasMoreElements() { @@ -303,13 +303,13 @@ public class Designer implements ClipboardOwner { return null; } - public Enumeration children() { + public Enumeration children() { if (getChildCount() > 0) { getChildAt(0); // force it to build kids } - Enumeration e = new Enumeration() { + Enumeration e = new Enumeration() { int i = 0; public boolean hasMoreElements() {