deferred class BENCH_LICENSED_COMMAND

inherit

	LICENSED_COMMAND
		undefine
			new_license, lic_die
		end
	SHARED_BENCH_LICENSES

end