[1.4] 24/02/2022

- chore: remove java plugin
- feat: prefix path instead of suffix for hosts

[1.3] 14/02/2022

- upgrade java plugin to 0.21.0
- support of git for student

[1.2] 27/11/2020

- Image supports in briefing
- Set theia-full instead of theia-java (https://git.e-biz.fr/deadlock-public/deadlock-theia/-/issues/2)

[1.1] 27/11/2020

- preStop hook ok
- GitLens integration
- Keep view on memory

[1.0] 02/10/2020

- git integration
- recorder-command
- docs/ support