Merge "Feature: Upgrade tycho from version 0.11.0 to 0.12.0"