Artifacts of org.overture.ide.plugins.quickinterpreter org.overture.ide.plugins.quickinterpreter