String prefix = url.getHost(); if (prefix != null && prefix.length() > 0) { sb.append(prefix); int port = url.getPort(); if (port > 0) { sb.append(':'); sb.append(port); } }  String file = url.getFile(); if (file != null) sb.append(file); else sb.append('/');  String anchor = url.getRef(); if (anchor != null) { sb.append('#'); sb.append(anchor); }  return sb.toString(); }
if (prefix != null && prefix.length() > 0) { sb.append (prefix); int port = url.getPort();  if (port > 0) { sb.append (':'); sb.append (port); } }  String file = url.getFile(); if (file != null) sb.append (file); else sb.append ('/');  String anchor = url.getRef(); if (anchor != null) { sb.append ('#'); sb.append (anchor); }  return sb.toString(); }
	protected String toExternalForm(URL url) {		StringBuffer sb = new StringBuffer(PlatformHelper.INITIAL_MAX_PATH);		sb.append("file:");		String prefix = url.getHost();		if (prefix != null && prefix.length() > 0) {			sb.append(prefix);			int port = url.getPort();			if (port > 0) {				sb.append(':');				sb.append(port);			}		}		String file = url.getFile();		if (file != null)			sb.append(file);		else			sb.append('/');		String anchor = url.getRef();		if (anchor != null) {			sb.append('#');			sb.append(anchor);		}		return sb.toString();	}