JBIDE-15806: Use Tycho 0.19.0