void () { for (VFileEvent event : events) { if (event instanceof VFileContentChangeEvent && ((VFileContentChangeEvent)event).getFile().isValid()) { myFileDocumentManager.contentsChanged((VFileContentChangeEvent)event); } else if (event instanceof VFileDeleteEvent && ((VFileDeleteEvent)event).getFile().isValid()) { myFileDocumentManager.fileDeleted((VFileDeleteEvent)event); } else if (event instanceof VFilePropertyChangeEvent && ((VFilePropertyChangeEvent)event).getFile().isValid()) { myFileDocumentManager.propertyChanged((VFilePropertyChangeEvent)event); } } Reference.reachabilityFence(strongRefsToDocuments); }