Release Date: Wednesday, December 6, 2023 This release is part of Eclipse IDE 2023-12. Review: 4.25.0 Release ReviewRelease Type: Minor release