Cleanup a few classes and change name/comments of a few methods
Cleanup a few classes and change name/comments of a few methods
Merge branch 'refactor' of https://github.com/runtimeverification/javamop into refactor
Merge branch 'refactor' of https://github.com/runtimeverification/javamop into refactor
Merge branch 'refactor' of https://github.com/runtimeverification/javamop into refactor
Extrac .rvm and MonitorAspect.aj and improve doc
minor cleanup
Merge pull request #93 from runtimeverification/refactor

Refactor