override fun didChangeWatchedFiles()

in src/main/kotlin/com/github/korosuke613/vdmppLanguageServer/VdmppLanguageServer.kt [105:107]


            override fun didChangeWatchedFiles(params: DidChangeWatchedFilesParams) {
                client!!.logMessage(MessageParams(MessageType.Log, "We received an file change event"))
            }