This release contains improvements in three areas
- Adopting latest from JDT (making OT/J compatible with Java 12).
- Bug fixes
- Maintenance of our releng infra structure (as necessitated, e.g., by changes in p2)
None of these introduce new feature of our own.
Wednesday, June 19, 2019
Service release (bug fixes only)