kevoree-kevscript: changes according to new Resolver API