void (@NotNull PsiElement element) { super.elementFinished(element); if (element instanceof PsiMethod && ((PsiMethod)element).hasModifierProperty(PsiModifier.SYNCHRONIZED) || element instanceof PsiSynchronizedStatement) { m_numLocksHeld--; } }