public void AddDocumentChangedListener( string documentID, EventHandler<DocumentChangedEventArgs> handler )