/src/main/java/org/htmlunit/util/UrlUtils.java
url.path_ = removeLeadingSlashPoints ( url.path_ ) ; return url;
url.scheme_ = baseUrl.scheme_; if (url.location_ != null) { return url; } url.location_ = baseUrl.location_; if (url.path_ != null && !url.path_.isEmpty() && url.path_.charAt(0) == '/') { <extra_id_0> } if (url.path_ == null) { url.path_ = baseUrl.path_; if (url.parameters_ != null) { return url; }