В дополнение к ответу @ metalisticpain, есть некоторая фоновая конфигурация директивы tools на самом сервере Jenkins, которая конфигурирует пути установки, которые будут использоваться.
Допустим, у вас есть jdk-1.8.0
устанавливается в качестве имени инструмента на сервере Jenkins, затем его можно использовать в Jenkinsfile следующим образом:
withEnv(["PATH+JDK=${tool 'jdk-1.8.0'}/bin"])
Взято из документации, указанной выше:
имя инструмента должно быть предварительно настроено в Jenkins в разделе Управление Jenkins → Глобальный инструмент → Конфигурация.