use Synchronized.var and prevent global CRITICAL sections in this hot spot;
use Synchronized.var and prevent global CRITICAL sections in this hot spot;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle