Merge branch 'refactor' of https://github.com/runtimeverification/javamop into refactor
Merge branch 'refactor' of https://github.com/runtimeverification/javamop into refactor