CVE-2018-16871: redhat developer tools – CVSS 7.5 · Watchpost