GitLab

Merge branch 'remove-devel-pkgs' into 'development'

remove java devel and gui packages

See merge request dsop/opensource/openjdk/openjdk11!2