https://github.com/jenkinsci/jenkinslint-plugin/pull/17 was created before . allowing Global Settings, therefore this system property was deprecated and notified to be removed in the release 0.11.0. Which finally it will be removed in the release 0.12.0 instead