note
	description: "Summary description for {EXECUTION_UNIT}."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

deferred class
	EXECUTION_UNIT

feature

	is_done : BOOLEAN
	deferred
	end

	action
	deferred
	end
end
