The user should be able to create multiple installations of the same tool in different versions.

This means letting jenkins setting up the environment.