void contentsChanged(@NotNull VirtualFileEvent event) {
    if (file.equals(event.getFile())) {
      // Change document
      refreshFile();
    }
  }
void contentsChanged(@NotNull VirtualFileEvent event)