Jenkins Extra Tool Installers Plugin 187.ved1e53d41fa_6 API