kevoree-core: fix stop()