package ch.ethz.syslab.telesto.common.config; import java.util.Collections; import java.util.Enumeration; import java.util.Properties; import java.util.Vector; public class SortedProperties extends Properties { private static final long serialVersionUID = 1L; @Override @SuppressWarnings({ "unchecked", "rawtypes" }) public synchronized Enumeration<Object> keys() { Enumeration<Object> keysEnum = super.keys(); Vector keyList = new Vector(); while (keysEnum.hasMoreElements()) { keyList.add(keysEnum.nextElement()); } Collections.sort(keyList); return keyList.elements(); } }