return path.substring(basePath.length() + 1);
path = path.substring(basePath.length() + 1); if (path.startsWith("./")) { path = path.substring("./".length()); }
    protected String getDisplayPath(String path) {        if (myBasePath == null) {            return path;        }        if (path == null) {            path = "";        }        if (path.indexOf("://") > 0) {            return path;        }        // treat as file path.        String basePath = myBasePath.getAbsolutePath().replace(File.separatorChar, '/');        if (path.equals(basePath)) {            return ".";        }        if (path.startsWith(basePath + "/")) {            return path.substring(basePath.length() + 1);        }        return path;    }