Makes TermFactory's instance() method thread safe.