| # To force a version qualifier update add the bug here | |
| Bug 403352 - Update all parent versions to match our build stream | |
| Bug 406851 - Consume new SAT4J | |
| Bug 406845 - Update repository of ECF in parent pom | |
| Bug 406845 - Update repository of ECF in parent pom (new update) | |
| Bug 409051 - Consume new SAT4J (2.3.5) |