git: openjdk/mobile: 8242039: Improve jlink VersionPropsPlugin

[duke]

Changeset: 36021864
Author:    Christoph Langer <clanger at openjdk.org>
Date:      2020-04-14 21:43:34 +0000
URL:       https://git.openjdk.java.net/mobile/commit/36021864

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