diff --git a/src/helma/util/ResourceProperties.java b/src/helma/util/ResourceProperties.java index 8e54fb11..a8e68428 100644 --- a/src/helma/util/ResourceProperties.java +++ b/src/helma/util/ResourceProperties.java @@ -56,6 +56,7 @@ public class ResourceProperties extends Properties { // Sorted map of resources private Set resources; + // lower case key to original key mapping for case insensitive lookups private Properties keyMap = new Properties(); /**