hg: jdk/sandbox: 8242039: Improve jlink VersionPropsPlugin

[chris.hegarty at oracle.com]

Changeset: 234f63305533
Author:    clanger
Date:      2020-04-14 21:43 +0200
URL:       https://hg.openjdk.java.net/jdk/sandbox/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