Changeset 9366
- Timestamp:
- 11/11/08 15:09:34 (1 year ago)
- Files:
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
helma/helma/trunk/src/helma/util/ResourceProperties.java
r9320 r9366 74 74 // Since resources don't implement Comparable, we can't add them to a "naked" TreeSet 75 75 // As a result, resource ordering is random when updating. 76 resources = new HashSet();76 resources = new LinkedHashSet(); 77 77 } 78 78 … … 141 141 this.parentProperties = parentProperties; 142 142 this.prefix = prefix; 143 resources = new HashSet();143 resources = new LinkedHashSet(); 144 144 setIgnoreCase(parentProperties.ignoreCase); 145 145 forceUpdate();