{
PlainDocument doc = new PlainDocument();
doc.insertString(0, "hallo", null);
AbstractDocument.LeafElement l = doc.new LeafElement(null, null, 20, 5);
h.check(l.getStartOffset(), 20);
doc.insertString(0, "hiyo", null);
h.check(l.getStartOffset(), 24);
}
catch (BadLocationException ex)
{
h.fail("BadLocationException");