Integrated: 8343439: [JVMCI] Fix javadoc of Services.getSavedProperties

[Doug Simon]

On Fri, 1 Nov 2024 14:36:01 GMT, Doug Simon <dnsimon at openjdk.org> wrote:

> The javadoc of `jdk.vm.ci.services.Services.getSavedProperties` is currently:
> 
>     /**
>      * Gets an unmodifiable copy of the system properties parsed by {@code arguments.cpp}
>      * plus {@code java.specification.version}, {@code os.name} and {@code os.arch}.
>      * The latter two are forced to be the real OS and architecture. That is, values
>      * for these two properties set on the command line are ignored.
>      */
> 
> The details about how the copy is initialized are specific to the HotSpot VM. On SVM, the semantics can be different. This PR separates out the HotSpot specific part.

This pull request has now been integrated.

Changeset: 1eccdfc6
Author:    Doug Simon <dnsimon at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/1eccdfc62288b8baff950b7293ee931eab896298
Stats:     6 lines in 1 file changed: 2 ins; 0 del; 4 mod

8343439: [JVMCI] Fix javadoc of Services.getSavedProperties

Reviewed-by: never

-------------

PR: https://git.openjdk.org/jdk/pull/21832