Migrated to fresh tycho and eclipse-ini-patcher