add distributionManagement section
remove version when generating zip
chang the version back
Update pom.xml
modify the troubleshooting section of README to provide another solution to code-size-too-big problem
Merge pull request #150 from runtimeverification/distributionManagement

add distributionManagement section
revise troubleshooting section in readme a little
second attemp to fix jenkins issue #147
Fix agent generation
Fix javamop -n -s options used together
Clean code
Modifying comment
Add integration test to test javamop -n
Merge pull request #153 from runtimeverification/document

modify the troubleshooting section of README to provide another solution...
Merge pull request #154 from runtimeverification/fixagent

Fixagent
remove out-dated examples
Merge pull request #156 from runtimeverification/rmexample

remove out-dated examples
fix pom version
merge