1421  */
1422 var versionArgs = function(input, common) {
1423     var args = ["--with-version-build=" + common.build_number];
1424     if (input.build_type == "promoted") {
1425         args = concat(args,
1426                       "--with-version-pre=" + version_numbers.get("DEFAULT_PROMOTED_VERSION_PRE"),
1427                       "--without-version-opt");
1428     } else if (input.build_type == "ci") {
1429         var ciBuildNumber = input.build_id_data.ciBuildNumber;
1430         var preString = input.build_id_data.projectName;
1431         if (preString == "jdk") {
1432             preString = version_numbers.get("DEFAULT_PROMOTED_VERSION_PRE");
1433         }
1434         args = concat(args, "--with-version-pre=" + preString,
1435                       "--with-version-opt=" + ciBuildNumber);
1436         if (input.target_os == "macosx") {
1437             args = concat(args, "--with-macosx-bundle-build-version="
1438                           + common.build_number + "." + ciBuildNumber);
1439         }
1440     } else {

1441         args = concat(args, "--with-version-opt=" + common.build_id);
1442     }
1443     return args;
1444 }
1445 
1446 // Properties representation of the make/conf/version-numbers.conf file. Lazily
1447 // initiated by the function below.
1448 var version_numbers;
1449 
1450 /**
1451  * Read the make/conf/version-numbers.conf file into a Properties object.
1452  *
1453  * @returns {java.utilProperties}
1454  */
1455 var getVersionNumbers = function () {
1456     // Read version information from make/conf/version-numbers.conf
1457     if (version_numbers == null) {
1458         version_numbers = new java.util.Properties();
1459         var stream = new java.io.FileInputStream(__DIR__ + "/version-numbers.conf");
1460         version_numbers.load(stream);

1421  */
1422 var versionArgs = function(input, common) {
1423     var args = ["--with-version-build=" + common.build_number];
1424     if (input.build_type == "promoted") {
1425         args = concat(args,
1426                       "--with-version-pre=" + version_numbers.get("DEFAULT_PROMOTED_VERSION_PRE"),
1427                       "--without-version-opt");
1428     } else if (input.build_type == "ci") {
1429         var ciBuildNumber = input.build_id_data.ciBuildNumber;
1430         var preString = input.build_id_data.projectName;
1431         if (preString == "jdk") {
1432             preString = version_numbers.get("DEFAULT_PROMOTED_VERSION_PRE");
1433         }
1434         args = concat(args, "--with-version-pre=" + preString,
1435                       "--with-version-opt=" + ciBuildNumber);
1436         if (input.target_os == "macosx") {
1437             args = concat(args, "--with-macosx-bundle-build-version="
1438                           + common.build_number + "." + ciBuildNumber);
1439         }
1440     } else {
1441         args = concat(args, "--with-version-pre=" + version_numbers.get("DEFAULT_PROMOTED_VERSION_PRE"));
1442         args = concat(args, "--with-version-opt=" + common.build_id);
1443     }
1444     return args;
1445 }
1446 
1447 // Properties representation of the make/conf/version-numbers.conf file. Lazily
1448 // initiated by the function below.
1449 var version_numbers;
1450 
1451 /**
1452  * Read the make/conf/version-numbers.conf file into a Properties object.
1453  *
1454  * @returns {java.utilProperties}
1455  */
1456 var getVersionNumbers = function () {
1457     // Read version information from make/conf/version-numbers.conf
1458     if (version_numbers == null) {
1459         version_numbers = new java.util.Properties();
1460         var stream = new java.io.FileInputStream(__DIR__ + "/version-numbers.conf");
1461         version_numbers.load(stream);