Eclipse Theia 0.10.0



Monthly release of Eclipse Theia, for August 2019.

Note: this is a "major" release in the sense that there is API breakage. However we have decided not to step the major version number until we reach "1.0"; in the meantime we will step the minor one. 

Conforms To UI/UX Guidelines
Not verified
End of Life
  •  [plugin] removed member `processOptions` from `AbstractHostedInstanceManager` as it is not initialized or used