910911912913914915916917918919920
ChildDocument child= (ChildDocument) slaves[i]; Position p= child.getParentDocumentRange(); try { if (!updateSlaveDocument(child, p.getOffset(), p.getLength())) child.repairLineInformation(); } catch (BadLocationException e) { // ignore } }
10371038103910401041104210431044104510461047
10351036103710381039104010411042104310441045