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