/** unlock the grammar pool */ public void unlockPool() { synchronized (fGrammarPool) { fGrammarPool.unlockPool(); } } // unlockPool()
public void unlockPool() { fGrammarPool.unlockPool(); }
public void unlockGrammarPool() { fGrammarPool.unlockPool(); } // unlockGrammarPool()