this.start = start; this.end = end;
try { startPos = parent.getDocument().createPosition(start); endPos = parent.getDocument().createPosition(end); } catch (BadLocationException ex) { throw new AssertionError("BadLocationException must not be thrown " + "here. start=" + start + ", end=" + end + ", length=" + getLength()); }
    public LeafElement(Element parent, AttributeSet attributes, int start,                       int end)    {      super(parent, attributes);      this.start = start;      this.end = end;    }