}
}
public ATERenderingToken[] getTokens() {
indexesModified = false;
Jumpable ref = window.getHighlightedReference();
if(ref != null) {
highlightedReferenceStartToken.setIndex(ref.getStartIndex());
highlightedReferenceToken.setIndex(ref.getEndIndex());
highlightedReferenceToken.setStartToken(highlightedReferenceStartToken);
addToken(highlightedReferenceStartToken);
addToken(highlightedReferenceToken);
} else {
removeToken(highlightedReferenceStartToken);