import java.io.File;
import java.io.IOException;
import java.io.InputStream;

import javax.swing.JOptionPane;


public class IntegrateHarey {

	/**
	 * @param args
	 */
	public static void main(String[] args) {

		File aux = new File("");
		
		//asdasda

		String path;
		String osName = System.getProperty("os.name");
		if (osName.startsWith("Windows")) {
			path = "\\tp\\harvey\\circus_examples\\example1.smt";
		}
		else{
			path = "//tp//harvey//circus_examples//example1.smt";
		}
		try {
			String application = aux.getAbsolutePath() + "\\tp\\harvey\\win\\rv.exe";
			Runtime.getRuntime().exec(application);  
			Process processo = Runtime.getRuntime().exec(application);  
			InputStream ips = processo.getInputStream();  

			int c = 0;  
			while ((c = ips.read()) != -1) {  
				System.out.print((char)c);  
			}   

		} catch (IOException e) {
			e.printStackTrace();
		}
	}

}