Setting the process to null may actually produce a NullPointerException if we're unlucky with the race condition. Let's just go with the flow and not set process to null -- both destroy and waitFor are resilient to processes that are already dead.