We can safely kill the process. As you can see by a follow-up comment on this PR we don't correctly shutdown Jenkins anymore now.