Known Vulnerabilities in OpenShift Developer Tools and Services 4.12