void () { final Document document = editor.getDocument(); if (modificationTimeStamp != document.getModificationStamp()) { variables.clear(); variables.addAll(TemplateImplUtil.parseVariableNames(document.getCharsSequence())); modificationTimeStamp = document.getModificationStamp(); updateEditorInlays(); } }