deferred class PROPERTIES

feature {NONE} -- Initialization

	init_properties
		deferred
		end

end