Merge pull request #331 from georchestra/add-sun-management

Re-enable metrics page for jetty server

Author: f-necas

web/src/docker/Dockerfile

@@ -30,6 +30,7 @@ CMD ["sh", "-c", "exec java \
 -Dgeorchestra.datadir=/etc/georchestra \
 -Dgeonetwork.jeeves.configuration.overrides.file=/etc/georchestra/geonetwork/config/config-overrides-georchestra.xml \
 -Dgeonetwork.dir=/mnt/geonetwork_datadir \
+--add-opens=jdk.management/com.sun.management.internal=ALL-UNNAMED \
 -XX:MaxRAMPercentage=80 -XX:+UseParallelGC \
 -XX:-UsePerfData \
 ${JAVA_OPTIONS} \