hg: jdk/jdk: 8242039: Improve jlink VersionPropsPlugin

[christoph.langer at sap.com]

Changeset: 234f63305533
Author:    clanger
Date:      2020-04-14 21:43 +0200
URL:       https://hg.openjdk.java.net/jdk/jdk/rev/234f63305533

8242039: Improve jlink VersionPropsPlugin
Reviewed-by: redestad

! src/java.base/share/classes/java/lang/VersionProps.java.template
! src/jdk.jlink/share/classes/jdk/tools/jlink/internal/plugins/VersionPropsPlugin.java