public TokenizedInputDictionaryExtension newTokenizedInputExtension(DefaultTokenizedInput input) {
synchronized (tokenizedInputExtensionPool) {
if (!tokenizedInputExtensionPool.empty()) {
TokenizedInputDictionaryExtension result =
(TokenizedInputDictionaryExtension) tokenizedInputExtensionPool.pop();
result.setInput(input);
return result;
}
}
return new TokenizedInputDictionaryExtension(this, input);
}
