if(evt.getBuffer() == buffer)
Buffer buffer = evt.getBuffer(); for(int i = 0; i < resultModel.getSize(); i++)
		public void bufferClosed(EditorEvent evt)		{			if(evt.getBuffer() == buffer)			{				positions.removeAllElements();				// XXX: need empty model				results.setModel(new DefaultListModel());				// Can't give it a value in the bottom half				buffer = null;			}		}