[582204] Update for tycho extras to tycho change

Change-Id: Icf62688574054aa18b10629bf6c4e186abf8a76e
2 files changed