public int ProxyPort { get; set; }

public:
virtual property int ProxyPort {
	int get () sealed;
	void set (int value) sealed;
}

function get_ProxyPort();
function set_ProxyPort(value);