diff --git a/pmd/src/net/sourceforge/pmd/ProjectFile.java b/pmd/src/net/sourceforge/pmd/ProjectFile.java index cdc18ee7b1..5a6672683c 100644 --- a/pmd/src/net/sourceforge/pmd/ProjectFile.java +++ b/pmd/src/net/sourceforge/pmd/ProjectFile.java @@ -3,8 +3,10 @@ package net.sourceforge.pmd; import java.io.InputStream; import java.io.IOException; import java.text.MessageFormat; +import java.util.ArrayList; import java.util.Enumeration; import java.util.Iterator; +import java.util.List; import java.util.Properties; import java.util.Stack; @@ -16,8 +18,8 @@ import org.xml.sax.SAXException; /** * Loads the PMD project.xml file and stores the contents in a Properties object. - * The property keys are the path starting below the root down to the element. - * For example: + * The property keys are the case-insensitive path starting below the root down + * to the element. For example: *