public String getUserInfo() {
public String getUserInfo() { if (userInfo != null) return userInfo;
    public String getUserInfo() {        int at = (host == null) ? -1 : host.indexOf('@');        return at < 0 ? null : host.substring(0, at);    }