oomph.setup.product.version.filter=.*\.2018-12
oomph.setup.product.catalog.filter=org\.eclipse\.products
oomph.setup.product.filter=(?\!org\.eclipse\.products\.org\.eclipse\.platform\.ide).*
oomph.setup.jre.choice=false