now calling 64 bit executable

refs 3074

org.fortiss.af3.ocra/trunk/src/org/fortiss/af3/ocra/run/OCRARunner.java

@@ -235,7 +235,7 @@ public class OCRARunner extends ToolRunnerBase<Component, NuSMVResult> {
 
 		/** returns the commandline string to call the Tool */
 		String getToolCommand() {
-			return (ocra) + (isWindowsOperatingSystem() ? ".exe" : "");
+			return (ocra) + (isWindowsOperatingSystem() ? "-win64.exe" : "");
 		}
 
 		/**