class
	FILE_URL

General
	cluster: net.transfer.addresses
	description: "File URL"
	create: make

Ancestors
	URL

Queries
	Default_port: INTEGER
	Has_username: BOOLEAN
	Hash_code: INTEGER
	is_correct: BOOLEAN
	Is_hashable: BOOLEAN
	Is_password_accepted: BOOLEAN
	Is_proxy_supported: BOOLEAN
	is_proxy_used: BOOLEAN
	location: STRING
	name: FILE_NAME
	port: INTEGER
	proxy_host: STRING
	proxy_host_ok (host: STRING): BOOLEAN
	proxy_port: INTEGER
	Service: STRING

Commands
	reset_proxy
	set_password (pw: STRING)
	set_port (port_no: INTEGER)
	set_proxy (host: STRING; port_no: INTEGER)
	set_proxy_information (pi: PROXY_INFORMATION)
	set_username (un: STRING)