docs: public static String getDateFormatMask() {
          String fmt = System.getProperty("drools.dateformat");
          if (fmt == null) {
              fmt = DEFAULT_FORMAT_MASK;
          }
          return fmt;
      }