4.7.0
Description
This minor release fixes bugs, adds features, and ensures compatibility with Eclipse 2023-03.
Conforms To UI/UX Guidelines
Not verified
This release is part of Eclipse IDE 2023-03, Eclipse IDE 2023-06