An IO exception

[GoogleCodeExporter]

What steps will reproduce the problem?
1. install the tool
2. open an example file (e.g., sem-ch.pml)
3. press "verify"

What is the expected output? What do you see instead?
The tool responses the following alert:

"bin\spin.exe -a sem-ch.pml ... done!
c:\mingw\bin\gcc.exe  -DSAFETY  -o pan pan.c ... done!
C:\jspin\jspin-examples\pan  -m2000 -X ... IO exception
java.io.IOException: CreateProcess: C:\jspin\jspin-examples\pan -m2000 -X 
error=2done!"

What version of the product are you using? On what operating system?
jSpin 5.0， under Windows XP

Please provide any additional information below.
Sorry, I just start using this tool. Perhaps my experience is not sufficient.

Original issue reported on code.google.com by wkmiao1...@gmail.com on 5 Aug 2013 at 7:48

[GoogleCodeExporter]

I have seen this before, but it has been a few years and I don't recall the 
details...
Check if "pan.exe" exists in directory "c:\jspin\jspin-examples\.
If not, it means that there is a problem with the compiler.
Add "c:\mingw\bin\" to the windows "PATH".
You do this from start/settings/control panel/system/advanced/environment 
variables.

Original comment by moti.ben.ari@gmail.com on 5 Aug 2013 at 8:01