My system administrator needs to know what port(s) uddi is using. I'm guessing it just uses 443. Does anyone know if this is correct or how I could check? Thanks.