VirtualFileDiffElement (VirtualFile file) { if (file.getFileType() instanceof ArchiveFileType && file.getFileSystem() != JarFileSystem.getInstance()) { VirtualFile jar = JarFileSystem.getInstance().getJarRootForLocalFile(file); if (jar != null) { return new VirtualFileDiffElement(jar); } } return new VirtualFileDiffElement(file); }