@Override
 public String getPatchBuildID() {
   if (productInfo.isPatched()) {
     return productInfo.patchBuildID();
   } else {
     return "";
   }
 }
 @Override
 public String getPatchVersion() {
   if (productInfo.isPatched()) {
     return productInfo.toLongPatchString();
   } else {
     return "";
   }
 }
  private static void writeVersion() {
    ProductInfo info = ProductInfo.getInstance();
    TCLogger consoleLogger = console;

    // Write build info always
    String longProductString = info.toLongString();
    consoleLogger.info(longProductString);

    // Write patch info, if any
    if (info.isPatched()) {
      String longPatchString = info.toLongPatchString();
      consoleLogger.info(longPatchString);
    }
  }
 @Override
 public boolean isPatched() {
   return productInfo.isPatched();
 }