code: public void refresh( Path file )
    {
      EditorHost editor = findTab( file );
      if( editor != null )
      {
        // The file is open in an editor, refresh it with the contents of the file
  
        try( Reader reader = PathUtil.createReader( file ) )
        {
          editor.refresh( StreamUtil.getContent( reader ) );
          setDirty( editor, false );
        }
        catch( IOException e )
        {
          throw new RuntimeException( e );
        }
      }
  
      FileTree root = FileTreeUtil.getRoot();
      FileTree node = root.find( file );
  
      if( node != null )
      {
        // Refresh the type system to include the changes
        IType type = node.getType();
        if( type != null )
        {
          reload( type );
        }
      }
    }
docs: This should only be called when either the file's contents change externally,
  or when the file saves to disk.