//XXX: what about empty document
@Override
            public void run() {
                if (TokenList.this.cancel.get()) {
                    return ;
                }
                topLevel = TokenHierarchy.get(doc).tokenSequence();
                topLevelIsJava = topLevel.language() == JavaTokenId.language();
                if (topLevelIsJava) {
                    ts = topLevel;
                    ts.moveStart();
                    ts.moveNext(); //XXX: what about empty document
                }
            }
ts = topLevel;
ts.moveStart();
ts.moveNext(); //XXX: what about empty document
}
}
@Override
public void run() {
if (TokenList.this.cancel.get()) {
return ;
}
topLevel = TokenHierarchy.get(doc).tokenSequence();
topLevelIsJava = topLevel.language() == JavaTokenId.language();
if (topLevelIsJava) {
ts = topLevel;
ts.moveStart();
ts.moveNext(); //XXX: what about empty document
}
}
@Override
public void run() {
if (TokenList.this.cancel.get()) {
return ;
}
topLevel = TokenHierarchy.get(doc).tokenSequence();
topLevelIsJava = topLevel.language() == JavaTokenId.language();
if (topLevelIsJava) {
ts = topLevel;
ts.moveStart();
ts.moveNext(); //XXX: what about empty document
}
}