int offsetToLine(javax.swing.text.PlainDocument doc, int offset) { return doc.getDefaultRootElement().getElementIndex(offset); }
int lineToEndOffset(javax.swing.text.PlainDocument doc, int line) { return doc.getDefaultRootElement().getElement(line).getEndOffset(); }