public int hashCode() { return server == null ? 0 : server.hashCode(); }
public int hashCode() { return (server == null ? 0 : server.hashCode()) + (domain == null ? 0 : domain.hashCode()); }