renameDocument    462 java/org/gnu/emacs/EmacsDocumentsProvider.java   renameDocument (String documentId, String displayName)
renameDocument   1715 java/org/gnu/emacs/EmacsService.java   renameDocument (String uri, String docId, String dir, String name)