void () { if (!PsiInvalidElementAccessException.isTrackingInvalidation()) { return; } Integer depth = ourPsiModificationDepth.get(); if (depth == null) { LOG.warn("Unmatched PSI modification end", new Throwable()); depth = 0; } else { depth--; ourPsiModificationDepth.set(depth); } if (depth == 0) { ourPsiModificationTrace.set(null); } }