--- old/make/JrtfsJar.gmk 2015-06-09 15:50:06.941758416 +0200 +++ new/make/JrtfsJar.gmk 2015-06-09 15:50:06.825758414 +0200 @@ -35,7 +35,8 @@ SOURCE_FILES := $(JDK_TOPDIR)/make/data/mainmanifest/manifest.mf, \ OUTPUT_FILE := $(SUPPORT_OUTPUTDIR)/java-main-manifest.mf, \ REPLACEMENTS := \ - @@RELEASE@@ => $(RELEASE) ; \ + @@VERSION_SPECIFICATION@@ => $(VERSION_SPECIFICATION) ; \ + @@VERSION_SHORT@@ => $(VERSION_SHORT) ; \ @@COMPANY_NAME@@ => $(COMPANY_NAME) , \ ))