hg: jdk/sandbox: 8214794: java.specification.version should be only the major version number

[chris.hegarty at oracle.com]

Changeset: 52a692760109
Author:    rriggs
Date:      2018-12-04 15:22 -0500
URL:       http://hg.openjdk.java.net/jdk/sandbox/rev/52a692760109

8214794: java.specification.version should be only the major version number
Reviewed-by: martin, mchung, bpb

! make/gensrc/GensrcMisc.gmk
! src/java.base/share/classes/java/lang/VersionProps.java.template