Turns out killing Jenkins with a hammer can lead to the lock not being cleaned up