private static @Nullable String replace(@NotNull String s) {
    final Map<String, String> sub = Map.of("pre", "c",
                                           "preview", "c",
                                           "rc", "c",
                                           "dev", "@");
    final String tmp = sub.get(s);
    if (tmp != null) {
      s = tmp;
    }
    if (s.equals(".") || s.equals("-")) {
      return null;
    }
    if (s.matches("[0-9]+")) {
      try {
        final long value = Long.parseLong(s);
        return String.format("%08d", value);
      }
      catch (NumberFormatException e) {
        return s;
      }
    }
    return "*" + s;
  }
private static @Nullable String replace(@NotNull String s)