if (s_log.isInfoEnabled()) {
s_log.info("Installing Derby query tokenizer");
}
DerbyPreferenceBean prefBean = (DerbyPreferenceBean) _prefsManager.getPreferences();
if (prefBean.isInstallCustomQueryTokenizer()) {
DerbyQueryTokenizer tokenizer = new DerbyQueryTokenizer(prefBean.getStatementSeparator(),
prefBean.getLineComment(),
prefBean.isRemoveMultiLineComments());
session.setQueryTokenizer(tokenizer);
}