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();
  		}
  	}
  
  }