ElementSpec[] elements = new ElementSpec[parseBuffer.size()];
DefaultStyledDocument.ElementSpec[] elements; elements = new DefaultStyledDocument.ElementSpec[parseBuffer.size()];
    public void flush() throws BadLocationException    {      ElementSpec[] elements = new ElementSpec[parseBuffer.size()];      parseBuffer.copyInto(elements);      parseBuffer.removeAllElements();      insert(offset, elements);      offset += HTMLDocument.this.getLength() - offset;    }