override fun didChangeConfiguration()

in src/main/kotlin/com/github/korosuke613/vdmppLanguageServer/VdmppLanguageServer.kt [102:104]


            override fun didChangeConfiguration(params: DidChangeConfigurationParams) {
                client!!.logMessage(MessageParams(MessageType.Log, "We received an configuration change event"))
            }