Minor bug fixes, enhancements and documentation improvements. Release Date: Wednesday, June 15, 2022 This release is part of Eclipse IDE 2022-12, Eclipse IDE 2022-09, and Eclipse IDE 2022-06. Review: 1.13.0 Release ReviewRelease Type: Minor releaseNew & Noteworthy URL: New and Noteworthy