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.
- [plugin] removed member `processOptions` from `AbstractHostedInstanceManager` as it is not initialized or used