in src/main/kotlin/com/github/korosuke613/vdmppLanguageServer/FullTextDocumentService.kt [71:73]
override fun resolveCodeLens(unresolved: CodeLens): CompletableFuture<CodeLens>? { return null }