docs: public static String[] split(String str, String theSplitter) {
          if (StringUtil.isEmpty(str)) {
              return new String[0];
          }
          return str.trim().split("\\s*" + escapeSpecialChar(theSplitter) + "\\s*");
      }