String (@NotNull String url) { int start = url.startsWith("file:") ? "file:".length() : 0; int end = url.indexOf("!/"); if (url.charAt(start) == '/') { // trim leading slashes before drive letter if (url.length() > (start + 2) && url.charAt(start + 2) == ':') { start++; } } return UrlUtilRt.unescapePercentSequences(url, start, end < 0 ? url.length() : end).toString(); }