1410  */
1411 var versionArgs = function(input, common) {
1412     var args = ["--with-version-build=" + common.build_number];
1413     if (input.build_type == "promoted") {
1414         args = concat(args,
1415                       "--with-version-pre=" + version_numbers.get("DEFAULT_PROMOTED_VERSION_PRE"),
1416                       "--without-version-opt");
1417     } else if (input.build_type == "ci") {
1418         var ciBuildNumber = input.build_id_data.ciBuildNumber;
1419         var preString = input.build_id_data.projectName;
1420         if (preString == "jdk") {
1421             preString = version_numbers.get("DEFAULT_PROMOTED_VERSION_PRE");
1422         }
1423         args = concat(args, "--with-version-pre=" + preString,
1424                       "--with-version-opt=" + ciBuildNumber);
1425         if (input.target_os == "macosx") {
1426             args = concat(args, "--with-macosx-bundle-build-version="
1427                           + common.build_number + "." + ciBuildNumber);
1428         }
1429     } else {

1430         args = concat(args, "--with-version-opt=" + common.build_id);
1431     }
1432     return args;
1433 }
1434 
1435 // Properties representation of the make/conf/version-numbers.conf file. Lazily
1436 // initiated by the function below.
1437 var version_numbers;
1438 
1439 /**
1440  * Read the make/conf/version-numbers.conf file into a Properties object.
1441  *
1442  * @returns {java.utilProperties}
1443  */
1444 var getVersionNumbers = function () {
1445     // Read version information from make/conf/version-numbers.conf
1446     if (version_numbers == null) {
1447         version_numbers = new java.util.Properties();
1448         var stream = new java.io.FileInputStream(__DIR__ + "/version-numbers.conf");
1449         version_numbers.load(stream);

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