@Override
        public void visitMethod(@NotNull PsiMethod method) {
          if (method.hasModifierProperty(PsiModifier.SYNCHRONIZED)) {
            m_numLocksHeld++;
          }
          super.visitMethod(method);
        }
@Override
        public void visitMethod(@NotNull PsiMethod method)