in src/main/kotlin/com/github/korosuke613/vdmppLanguageServer/VdmppLanguageServer.kt [30:32]
override fun shutdown(): CompletableFuture<Any?>? { return CompletableFuture.completedFuture(null) }