The contract of waitFor says the process should be terminated by the end -- is there a need to killProcess() it?