/**
  * Returns a short, pretty description for this ServerDescription.
  *
  * @return a String containing the most pertinent information about this ServerDescription
  */
 public String getShortDescription() {
   return "{"
       + "address="
       + address
       + ", type="
       + type
       + (!tagSet.iterator().hasNext() ? "" : ", " + tagSet)
       + (state == CONNECTED
           ? (", roundTripTime=" + getRoundTripFormattedInMilliseconds() + " ms")
           : "")
       + ", state="
       + state
       + (exception == null ? "" : ", exception=" + translateExceptionToString())
       + '}';
 }