FilePath (@NotNull VirtualFile file) { if (VersionManagingFileSystem.isEnforcedNonLocal(file)) { return new UrlFilePath(file.getUrl(), file.isDirectory()); } else { return new LocalFilePath(file.getPath(), file.isDirectory()); } }