@Override
 public void visitSynchronizedStatement(final SynchronizedStatement statement) {
   pushContext(statement);
   super.visitSynchronizedStatement(statement);
   popContext();
 }
 @Override
 public final void visitSynchronizedStatement(SynchronizedStatement statement) {
   super.visitSynchronizedStatement(statement);
 }