docs: public static String[] tokenizeVersionString(String version) {
          Matcher matcher = VERSION_PATTERN.matcher(version);
          if (matcher.matches()) {
              String[] tokens = new String[matcher.groupCount()];
              for (int i = 0; i < matcher.groupCount(); i++) {
                  tokens[i] = matcher.group(i + 1);
              }
              return tokens;
          } else {
              return null;
          }
      }