public final int getEndOffset(int line) { return endOffsets.get(line);
public final int getEndOffset(int index) { return endOffsets.get(index);
    public final int getEndOffset(int line) {        return endOffsets.get(line);    }