Jenkins DLS: Remove support for multiple JDKs, it was not used and did not work anyway due to name-clashes