- Revert these changes once JavaBDD is in Orbit.

 - Using S20201124213957 (2020-12 RC1) for now.
 - Target platform configuration in Oomph setup:
   - Alphabetic sorting, now without exceptions.
   - Temporarily removed '*' requirement and source locator.
     - Ensures we don't get issues for missing 'JavaBDD'.
   - Added some missing dependencies that were auto-resolved.
 - XChart has some internal APIs now, which really should be external.
   - There are no alternatives for this basic functionality.
   - They should not be in 'internal' packages.
   - Added warning suppressions to keep our code clean.
 - Updated product launch configuration.

 - No longer works in recent Eclipse versions.
 - Project issue tracker no longer functional.
 - Contacted developer but no response.

 - Metadata files
   - Updated for new infrastructure.
   - Updated java-diff-utils identification.
   - Consistency updates.

 - Oomph setup
   - Updated for new infrastructure.
   - Git redirect added.
   - 'develop' is now our standard branch.
   - Temporarily added branch for issue #10 for testing.

 - Developer documentation
   - Updated for new infrastructure.
   - Updated/extended for how we use GitLab.
   - Other small improvements.

 - Initial contribution by Eindhoven University of Technology (TU/e).
 - See IPZilla CQ 22636.