Monthly release of Eclipse Theia for October 2019 Release Date: Thursday, October 31, 2019 Release Type: Major release (API breakage)