If the `jenkins.war` file has been deleted, but the `last_update.txt` file has not, we won't download a new version.