boolean (@NotNull VFileEvent event) { if (event instanceof VFileContentChangeEvent) return true; if (event instanceof VFilePropertyChangeEvent) { String p = ((VFilePropertyChangeEvent)event).getPropertyName(); return p.equals(VirtualFile.PROP_WRITABLE) || p.equals(VirtualFile.PROP_ENCODING) || p.equals(VirtualFile.PROP_CHILDREN_CASE_SENSITIVITY); } return false; }