1: …… 2: public void f() throws IOException { 3: Properties props = new Properties(); 4: String fileName = "file_list"; 5: FileInputStream in = new FileInputStream(fileName); 6: props.load(in); 7: String version[] = {"1.0" , "1.01" , "1.11" , "1.4" }; 8: int versionSelection = Integer.parseInt(props.getProperty("version" )); 9: String cmd = new String("cmd.exe /K \"rmanDB.bat \""); 10: String vs = ""; 11: 12: // 외부 입력값에 따라 지정된 목록에서 값을 선택한다. 13: if (versionSelection == 0) 14: vs = version[0]; 15: else if (versionSelection == 1) 16: vs = version[1]; 17: else if (versionSelection == 2) 18: vs = version[2]; 19: else if (versionSelection == 3) 20: vs = version[3]; 21: else 22: vs = version[3]; 23: Runtime.getRuntime().exec(cmd + " c:\\prog_cmd\\" + vs); 24: …… 25: }