Basic MarvinRuntime for JUnit