Fix agent generation
Fix javamop -n -s options used together
Clean code
Modifying comment
Add integration test to test javamop -n
Merge pull request #154 from runtimeverification/fixagent

Fixagent