git: openjdk/jdk: master: 8343439: [JVMCI] Fix javadoc of Services.getSavedProperties

[Doug Simon]

Changeset: 1eccdfc6
Branch: master
Author:    Doug Simon <dnsimon at openjdk.org>
Date:      2024-11-01 17:04:23 +0000
URL:       https://git.openjdk.org/jdk/commit/1eccdfc62288b8baff950b7293ee931eab896298

8343439: [JVMCI] Fix javadoc of Services.getSavedProperties

Reviewed-by: never

! src/jdk.internal.vm.ci/share/classes/jdk/vm/ci/services/Services.java