Adding jenkins-specific keys, take 2