problem installing teiid designer: depends on org.eclipse.core.runtime.compatibility

After building Teiid Designer from master branch [1], I was unable to install it into Eclipse because the local build does not include a copy of org.eclipse.core.runtime.compatibility plugin.

Recently in devstudio, we removed a SIMILAR plugin from our target platform [2]: org.eclipse.core.runtime.compatibility.auth.

Luckily, org.eclipse.core.runtime.compatibility is in devstudio integration-stack early access target platform site [3], so installation works after adding that URL to Eclipse too.

But do you actually need it? If I'm not mistaken this is a compatibility layer from the Eclipse 3.x days.

[1] https://github.com/Teiid-Designer/teiid-designer/commit/e9202c9ed3f477fa9de62b71d62f1176e9b20ab7
[2] https://github.com/jbosstools/jbosstools-target-platforms/commit/80dddcbf5783ce056c4d540f8b28da057c1d70fc
[3] https://devstudio.jboss.com/10.0/stable/updates/integration-stack/earlyaccess/ (really in child site https://devstudio.jboss.com/10.0/stable/updates/integration-stack/10.0.0.GA/earlyaccess/targetplatform/ )