Fix CDK installation problem for version built Jun 3rd
Fix CDK installation problem for version built Jun 3rd

Fix updated vagrant service manager plugin file name

redhat-developer-tooling/developer-platform-install,dgolovin/developer-platform-install,dgolovin/developer-platform-install,redhat-developer-tooling/developer-platform-install