@Override
protected void fireDocumentChanged(final DocumentEvent event) {
if (reparseInSameThread) {
// short documents can be reparsed in the same thread as this does not
// affect performance too much
reparse();
} else {
reparseInSeparateThread();
}
super.fireDocumentChanged(event);
}
