Merge branch 'wip-jvm' of github.com:miniboxing/miniboxing-plugin into wip-jvm

Conflicts:
	tests/benchmarks/src/miniboxing/benchmarks/launch/BenchmarkingTest.scala