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"))
}