code: private String getRegionName(String productName) {
          if (productName == null || productName.isEmpty()) {
              return kernelRegion.getName();
          }
          return REGION_EXTENSION_PREFIX + INVALID_REGION_CHARS.matcher(productName).replaceAll("-");
      }
docs: Gets the region name according to the product name.
  
  @param productName the product name. Empty string or <code>null</code> indicates
  the liberty profile itself.
  @return the region name