package net.minecraft.src;

import java.io.OutputStream;
import java.util.*;

class PCMP_SortedProperties extends Properties {
	
	@SuppressWarnings({ "unchecked", "rawtypes" })
	@Override
	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();
	}

}