For now, just a sample test class to illustrate the usage of this functionality:

	/**
	 * Test-class to demonstrate the usage of the App2IgorInterop functionality
	 * @param args
	 */
	public static void main(String[] args) {
		
		//Location of your maude binaries
		String maudeHome = "/home/kaiserfranz/programme/maude-linux/";
		//Location of the igor - maude file
		String igorHome = "/home/kaiserfranz/programme/Igor2.3/Igor2.3-snapshot-r66/";
		//Maude file to load in Igor
		String file = "/home/kaiserfranz/downloads/igor_examples/ecaiproblems";

		//Setup the InteropCenter with maude home, igor home, file name to be processed as well as the modul name to be synthesized by IGOR
		InteropCenter ioCenter = new InteropCenter(igorHome,maudeHome, file);
		ioCenter.setIgorVersion("2.3");
		App2IgorInterop interop = ioCenter.getInteropThread();
		
		
		//Here you can set up a number of modules to load before starting the synthesis with the LAST MODULE being synthesized
		List<String> mods = new ArrayList<String>();
		mods.add("MEM");
		//Provide command arguments for maude (-> MaudeArgs.java for information)
		List<MaudeArgs> arg = new ArrayList<MaudeArgs>();
		arg.add(MaudeArgs.NO_BANNER);
		arg.add(MaudeArgs.NO_WRAP);
		
		try{
			//run IGOR with the parameters - the flag controls whether there will be an output file written
			//obtain a reference
			Runner igor = interop.startIgor(mods, arg, false);
			
			while(igor.hasFinished() == false){
				//wait
				try {
					Thread.sleep(200);
					//interop.abortIgor();
					
				} catch (InterruptedException e) {
					// TODO Auto-generated catch block
					e.printStackTrace();
				}
			}
			
			System.out.println(igor.getIgorResult().getInfo());
			List<String> res = igor.getIgorResult().getResult();
			
			//print out the results
			System.out.println("IGOR RESULTS: ");
			for (String string : res) {
				System.out.println(string);
			}
			
		}
		catch(IOException ioEx){
			//exception to occur if there are problems regarding file permissions in case the outfile-flag is true
			System.err.println(ioEx.getMessage());
		}
		catch(NullPointerException npEx){
			//exception occurs when igor is aborted prematurely
			System.err.println(npEx.getMessage());
		}
	}


	