RFR: 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.

Thanks for the review Tom.

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

PR Comment: https://git.openjdk.org/jdk/pull/21832#issuecomment-2452244006