//
/**
+ * Returns the hostname of the remote end of the connection.
+ * @return The remote’s hostname
+ */
+ public String hostname() {
+ return hostname;
+ }
+
+ /**
+ * Returns the port number of the remote end of the connection.
+ * @return The remote’s port number
+ */
+ public int port() {
+ return port;
+ }
+
+ /**
* Returns whether this connection has already been established.
*
* @return {@code true} as long as this connection is established, {@code