class
	PROXIED_ACCOUNT

inherit
	PROXIED
		redefine
			new_proxy
		end

feature

	new_proxy: PROXY_ACCOUNT
		do
		end

end