PR up at https://github.com/jenkinsci/docker-commons-plugin/pull/52
PR was closed without explanation. I checked and neither DockerTool nor DockerToolInstaller currently have a symbol.