Bugfixes and small improvements Release Date: Wednesday, June 17, 2020 This release is part of Eclipse IDE 2020-06. Release Type: Service release (bug fixes only)