Remove the usage of /dev/null since it is platform dependent.
Refactor code
Merge branch 'master' into fixwindows
Check os
remove the installer
package binary code as .zip and tar.gz
fix a bug when running mvn install
Fix bugs in test (revealed by Java 8), where the insertion order to HashMap is not guaranteed
Remove out-dated scripts.
update INSTALL.md to with the new generated binary
modify install file to remind users that step 2 and 3 are interchangeable
revised INSTALL.md to make to more clear
revised INSTALL.md to make to more clear
minor changes
removed .docx file
Check os
Check OS to determine whether output to /dev/null or NUL
Merge branch 'fixwindows' of https://github.com/runtimeverification/javamop into fixwindows
Fix platform dependent test cases
Remove installer staff