Merge branch 'release' for v2.0.2
Merge branch 'master' into release
[maven-release-plugin] prepare release Release/2.0.4
Bump ide/ version numbers to 2.0.4
Enable the osgi.instance.area.default property
Commit the release notes and a script to convert the github issues into
a markdown-formatted list of links.
[ci skip]