in src/main/kotlin/com/github/korosuke613/vdmppLanguageServer/FullTextDocumentService.kt [105:108]
override fun didClose(params: DidCloseTextDocumentParams) { val uri = params.textDocument.uri documents.remove(uri) }