Log.log(Log.ERROR,this,bl);
	public void addMarker(String name, int start, int end)	{		setDirty(true);		name = name.replace(';',' ');		Marker markerN;		try		{			markerN = new Marker(name,createPosition(start),				createPosition(end));		}		catch(BadLocationException bl)		{			return;		}		boolean added = false;		if(!getFlag(INIT))		{			for(int i = 0; i < markers.size(); i++)			{				Marker marker = (Marker)markers.elementAt(i);				if(marker.getName().equals(name))				{					markers.removeElementAt(i);				}				if(marker.getStart() > start)				{					markers.insertElementAt(markerN,i);					added = true;					break;				}			}		}		if(!added)			markers.addElement(markerN);		fireBufferEvent(BufferEvent.MARKERS_CHANGED);		fireBufferEvent(BufferEvent.DIRTY_CHANGED);	}