Fix javamop.bat by using unix2dos
removing line causing unwanted output in windows
Merge pull request #117 from runtimeverification/fixbat

fixing unwanted output in windows