void () { // Don't close streams, because a process may survive graceful termination. // Streams will be closed after the process is really terminated. try { myProcess.getOutputStream().flush(); } catch (IOException e) { LOG.warn(e); } finally { doDestroyProcess(); } }