jenkins build seems to use a wild mix of tycho versionn 4.0.10/11/12 ?!?
jenkins build seems to use a wild mix of tycho versionn 4.0.10/11/12 ?!?