deferred class PROXY_DOCUMENT
inherit
	PROXY_ENTITY
		redefine
			item
		end

feature

	item: DOCUMENT

end