if (parenthesisRendered){
parenthesisRendered = false;
enclosedByBracket = true;
}
OWLRendererPreferences prefs = OWLRendererPreferences.getInstance();
int tokenLength = curToken.length();
Color c = owlEditorKit.getWorkspace().getKeyWordColorMap().get(curToken);
if (c != null && prefs.isHighlightKeyWords() && highlightKeywords) {
Style s = doc.getStyle(curToken);
doc.setCharacterAttributes(tokenStartIndex, tokenLength, s, true);
}
else {
// Not a keyword, so might be an entity (or delim)