Move to a more recent version of Tycho and fix the build