class TEST1
	
feature

	finish_delete
		do
			list.set_from_element_list (Void)
		end

	list: ELEMENT_LIST

end