hg: jdk/sandbox: Merge

[michael.x.mcmahon at oracle.com]

Changeset: 7f84243a5c10
Author:    michaelm
Date:      2020-05-19 11:41 +0100
URL:       https://hg.openjdk.java.net/jdk/sandbox/rev/7f84243a5c10

Merge

! src/hotspot/cpu/arm/stubGenerator_arm.cpp
! src/hotspot/os/linux/os_linux.cpp
! src/hotspot/share/c1/c1_GraphBuilder.cpp
! src/hotspot/share/opto/c2_globals.hpp
! src/hotspot/share/runtime/arguments.cpp
! src/hotspot/share/runtime/globals.hpp
! src/java.base/share/classes/module-info.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/ModuleWriterImpl.java
! test/hotspot/jtreg/runtime/CommandLine/VMDeprecatedOptions.java