53     final static String port = "8080";  field in _XURLTransformer
60                 + server + ":" + port + path
63                 + user + ":" + password + "@" + server + ":" + port + path
80         url[0].Port = new Integer(port).shortValue();  in _assemble()
86             port + path + "/" + name;  in _assemble()
107         url[0].Port = new Integer(port).shortValue();  in _assemble()
111             port + path + "/" + name;  in _assemble()
172         if (url[0].Port != new Integer(port).shortValue()) {  in _parseStrict()
175             log.println("expected : " + port);  in _parseStrict()
243         if (url[0].Port != new Integer(port).shortValue()) {  in _parseStrict()
246             log.println("expected : " + port);  in _parseStrict()
286         String httpURL = invalidServerPrefix + server + ":" + port + path + "/" + name + "?" +  in _parseSmart()
312         if (url[0].Port != new Integer(port).shortValue()) {  in _parseSmart()
315             log.println("expected : " + port);  in _parseSmart()
348             port + path + "/" + name;  in _parseSmart()
385         if (url[0].Port != new Integer(port).shortValue()) {  in _parseSmart()
388             log.println("expected : " + port);  in _parseSmart()
438             server + ":" + port + path + "/" + name;  in _getPresentation()
447             server + ":" + port + path + "/" + name;  in _getPresentation()