Fix bug where all the xquery bgTokenizer cache was cleared causing desynchronized highlighting.