/**
  * Get connection info for use in diagnostics messages
  *
  * @param session the session
  * @return a string to use in messages
  */
 public static String getSessionInfo(Session session) {
   if (session == null) {
     return "Not connected to any host";
   } else {
     return "SSH connection to " + session.getHost() + ":" + session.getPort();
   }
 }