public void beforeFileMovement(VirtualFileMoveEvent event) {
   String newPath = event.getNewParent().getPath() + File.separator + event.getFileName();
   displayHandler.reassignDisplay(event.getFile().getPath(), newPath);
 }
 public void contentsChanged(VirtualFileEvent event) {
   displayHandler.redrawIfXmlChanged(event.getFile().getPath());
 }
 public void beforePropertyChange(VirtualFilePropertyEvent event) {
   if (event.getPropertyName().equals("name")) {
     String newPath = event.getFile().getParent().getPath() + File.separator + event.getNewValue();
     displayHandler.reassignDisplay(event.getFile().getPath(), newPath);
   }
 }