changed kcil-runner to work with the java backend