Reverted to older Jenkins

With the new Jenkins version, the release plugin seems to be broken. The version is not correctly updated in the
pom file when executing a release. Might be a problem with a git sub-dependency but no time to figure out right now.