public boolean existsIntersection(String locationpath1, String locationpath2, String xsdFile){
		/*
		 * mu-calculus satisfiability solver for XML
		 * entwickelt von Pierre Geneves
		 * stand zur Zeit der Abgabe noch nicht vollstndig zur Verfgung. Daher konnte nur der Schnitttest ohne 
		 * XML-Schema oder DTD, nicht aber der Schnitttest mit XML-Schema eingebunden werden.
		 */
		boolean result = false;
		try{
			String path = System.getenv("MuSatSolver");
			
			String[] cmdarray = {"cmd.exe","/C",path+"XPathOverlap.bat", "\""+locationpath1+"\"", "\""+locationpath2+"\""};
			
			File dir = new File(path);
			
			Process p = Runtime.getRuntime().exec(cmdarray, null, dir);
			
			//any error message?
            StreamObserver errorObserver = new StreamObserver(p.getErrorStream(), "ERROR");            
            
            //any output?
            StreamObserver outputObserver = new StreamObserver(p.getInputStream(), "OUTPUT");
                
            //kick them off
            errorObserver.start();
            outputObserver.start();
                 
            //any error???
            int exitVal = p.waitFor();
            if (exitVal != 0){
            	System.err.println("Im MuSatSolver ist ein Fehler aufgetreten.");
            	System.err.println("ExitValue: " + exitVal); 
            }   
            
            //Abfrage erst nach waitFor
            result = outputObserver.getResult();
        } catch (Throwable t){
            t.printStackTrace();
        }
		return result;
	}