question: private void safeDamageRange ( int a0 , int a1 ) throws BadLocationException { Document doc = component . getDocument ( ) ; safeDamageRange ( doc . createPosition ( a0 ) , doc . createPosition ( a1 ) ) ; }
target:  Queues damageRange() call into event dispatch thread to be sure that views are in consistent state.