}
private void createContentMarkersInstrumentedReader(final Marker addContentMarker, final Marker preContentMarker, final Marker textAreaMarker) {
doc = new HTMLDocument() {
public ParserCallback getReader(int pos) {
return new HTMLReader(pos) {
protected void addContent(char[] data, int offset, int length, boolean createImpliedPIfNecessary) {
addContentMarker.setOccurred();
super.addContent(data, offset, length, createImpliedPIfNecessary);
};