deferred class PROXY_DOCUMENT
inherit
	PROXY_PARENT
end