class
	FTP_URL

General
	cluster: net.transfer.addresses
	description: "URLs for FTP resources"
	create: make

Ancestors
	NETWORK_RESOURCE_URL

Queries
	Default_port: INTEGER
	Has_username: BOOLEAN
	hash_code: INTEGER
	host: STRING
	is_correct: BOOLEAN
	is_equal (other: [like Current] FTP_URL): BOOLEAN
	is_hashable: BOOLEAN
	is_host_correct (h: STRING): BOOLEAN
	is_password_accepted: BOOLEAN
	is_path_correct (p: STRING): BOOLEAN
	Is_proxy_supported: BOOLEAN
	is_proxy_used: BOOLEAN
	location: STRING
	password: STRING
	path: STRING
	port: INTEGER
	proxy_host: STRING
	proxy_host_ok (h: STRING): BOOLEAN
	proxy_port: INTEGER
	Service: STRING
	username: 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)