docs: public static String encodeDate(Date date) {
          SimpleDateFormat dateFormatter = new SimpleDateFormat(dateFormat);
          /* Java doesn't handle ISO8601 nicely: need to add ':' manually */
          String result = dateFormatter.format(date);
          return result.substring(0, result.length() - 2) + ":" + result.substring(result.length() - 2);
      }