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