Update documentation

* replace Obeo Designer by Eclipse Modeling Tools
* update to Java 17 and Eclipse 2021-12
* move PDF from git to Kai's web page
5 jobs for master
Status
Job
Stage
Name
Duration
Coverage
No jobs to show
Name
Stage
Failure

There are no test reports for this pipeline

You can configure your job to use unit test reports, and GitLab displays a report here and in the related merge request.