in src/main/kotlin/com/github/korosuke613/vdmppLanguageServer/VdmppLanguageServer.kt [92:94]
override fun getTextDocumentService(): TextDocumentService? { return fullTextDocumentService }