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