package op.tools;
import java.util.*;
/**
* @author Dierk Meinig
* Sortiert die Properties in natuerlicher Folge bei der Speicherung
*/
public class SortedProperties extends Properties {
/**
*
*/
private static final long serialVersionUID = 8397564014128693064L;
/*
* (non-Javadoc)
* @see java.util.Hashtable#keys()
*/
public synchronized Enumeration keys() {
Enumeration keysEnum = super.keys();
Vector keyList = new Vector();
while (keysEnum.hasMoreElements()) {
keyList.add(keysEnum.nextElement());
}
Collections.sort(keyList);
return keyList.elements();
}
/* (non-Javadoc)
* @see java.util.Hashtable#keySet()
* used in storeToXml
*/
public Set<Object> keySet() {
SortedSet set = new TreeSet(super.keySet());
return set;
}
}