import java.io.*;
import java.io.IOException;
import java.io.InputStream;
import java.io.InputStreamReader;
import java.io.BufferedReader;
import java.util.Enumeration;
import java.util.Properties;

public class DesProps1 extends Properties {

	public DesProps1() {
		super();

		if (isEmpty()) {
			load();
		}
	}

	public void load() {

		// Designers
		final String des_propsfile = "ROG_des.properties";
		String ROG_desSTG = "ROG_des.";
		Properties des_props = new Properties ();

		try {
			InputStream in = new FileInputStream(des_propsfile);
			des_props.load(in);
			in.close();
		}
		catch (IOException e) {}

		String[] des_prop_val = new String[des_props.size()];

		for (int n = 0; n < des_props.size(); n++) {
			des_prop_val[n] = des_props.getProperty(ROG_desSTG + n);
			System.out.println( n + ": " + des_prop_val[n] );
		}
	}

	static void main(String[] args)
	{
		DesProps1 env = new DesProps1();

		//System.exit(0);
	}

}