docs: public static String getDateTimeStrConcise(Date d) {
          if (d == null)
              return "";
  
          SimpleDateFormat sdf = new SimpleDateFormat("yyyyMMddHHmmssSSSZ");
          return sdf.format(d);
      }