anchor.diff:     * Check the files on disk for changes that we don't know about. Fire resource
      * change events as necessary.
      */
  -  void refresh() {
  -    // TODO: Implement.
  -
  -    print('Project.refresh(): ${name}');
  +  Future refresh() {
  +    workspace.pauseResourceEvents();
  +
  +    return _refresh().whenComplete(() {
  +      workspace.resumeResourceEvents();
  +    });
     }
   }
   
  
positive.code:     return severity;
    }
  
    chrome.ChromeFileEntry get _fileEntry => entry;
  }
  
  
negative.code: 
    Container get parent => _parent;
  
    void _fireResourceEvent(ChangeDelta delta) => _parent._fireResourceEvent(delta);
  
    void _fireMarkerEvent(MarkerDelta delta) => _parent._fireMarkerEvent(delta);
  
  