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 DesProps5 extends Properties {

	public DesProps5() {

		// Designers
		final String des_propsfile2 = "ROG_des.properties";
		String ROG_desSTG2 = "ROG_des.";
		Properties des_props2 = new Properties ();

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

		String[] des_prop_val2 = new String[des_props2.size()];

		for (int n = 0; n < des_props2.size(); n++) {
			des_prop_val2[n] = des_props2.getProperty(ROG_desSTG2 + n);
			System.out.println( n + ": " + des_prop_val2[n] );
		}
	}
}