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