Perhaps it would be good to call Process.destroy() too.