Monthly release of Eclipse Theia for December 2019. Release Date: Thursday, December 19, 2019 Release Type: Major release (API breakage)