}   for(int i = 0; i < markers.size(); i++) { ((Marker)markers.elementAt(i)) .createPositions();
			public void run()			{				StringBuffer sbuf = (StringBuffer)getProperty(					IORequest.LOAD_DATA);				if(sbuf != null)				{					getDocumentProperties().remove(IORequest.LOAD_DATA);					try					{						// For `reload' command						remove(0,getLength());						insertString(0,sbuf.toString(),null);						// Process buffer-local properties						Element map = getDefaultRootElement();						for(int i = 0; i < Math.min(10,map.getElementCount()); i++)						{							Element line = map.getElement(i);							String text = getText(line.getStartOffset(),								line.getEndOffset() - line.getStartOffset() - 1);							processProperty(text);						}					}					catch(BadLocationException bl)					{						bl.printStackTrace();					}				}				undo = new UndoManager();				setFlag(LOADING,false);				// if reloading a file, clear dirty flag				if(reload)					setDirty(false);				// if loadAutosave is false, we loaded an				// autosave file, so we set 'dirty' to true				// note that we don't use setDirty(),				// because a) that would send an unnecessary				// message, b) it would also set the				// AUTOSAVE_DIRTY flag, which will make				// the autosave thread write out a				// redundant autosave file				if(loadAutosave)					setFlag(DIRTY,true);				if(getFlag(TEMPORARY))					return;				View _view = jEdit.getFirstView();				while(_view != null)				{					EditPane[] editPanes = _view						.getEditPanes();					for(int i = 0; i < editPanes.length; i++)					{						EditPane editPane = editPanes[i];						if(editPane.getBuffer() == Buffer.this)						{							editPane.getTextArea().setCaretPosition(0);							editPane.getTextArea().repaint();						}					}						_view = _view.getNext();				}				setMode();				propertiesChanged();				EditBus.addToBus(Buffer.this);				// send some EditBus messages				EditBus.send(new BufferUpdate(Buffer.this,					BufferUpdate.LOADED));				EditBus.send(new BufferUpdate(Buffer.this,					BufferUpdate.MARKERS_CHANGED));			}