Use property for Tycho version