deleteDocument1   401 java/org/gnu/emacs/EmacsDocumentsProvider.java 	  deleteDocument1 (file);
deleteDocument1   437 java/org/gnu/emacs/EmacsDocumentsProvider.java 	  deleteDocument1 (child);