Use new Tycho 3.0 and 4.0 features
We recently upgraded to Tycho 4.0.1 (#359 (closed)), but we are not using all its features yet. See https://github.com/eclipse-tycho/tycho/blob/tycho-4.0.1/RELEASE_NOTES.md for all changes.
Edited by Dennis Hendriks