4.0.1
Description
This service release fixes several bugs and ensures compatibility with Eclipse 2018-12.
Conforms To UI/UX Guidelines
Not verified
This release is part of Eclipse IDE 2019-03, Eclipse IDE 2019-06