indexing
	description: "Objects that ..."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

expanded class
	DEBUGGER_PARAMETERS

inherit
	ANY
		redefine
			default_create
		end

feature {NONE} -- Creation

	default_create is
		do

		end

end