}
public static Runner getRunner(Backend backend, RunnerOptions options, String module, String version) {
switch(backend){
case JavaScript:
return new JavaScriptRunnerImpl(options, module, version);
case Java:
return new JavaRunnerImpl(options, module, version);
default:
throw new RuntimeException("Runner for backend not supported yet: "+backend);
}