public static @NotNull String unescapeJsonPointerPart(@NotNull String part) {
    part = URLUtil.unescapePercentSequences(part);
    return StringUtil.replace(StringUtil.replace(part, "~0", "~"), "~1", "/");
  }
public static @NotNull String unescapeJsonPointerPart(@NotNull String part)