private void safeDamageRange(int a0,int a1) throws BadLocationException {
  Document doc=component.getDocument();
  safeDamageRange(doc.createPosition(a0),doc.createPosition(a1));
}

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