* Fix concurrency problem in ProcessExecuter