@Deprecated
    protected void deregisterTunnel(GuacamoleTunnel tunnel) {
        deregisterTunnel(tunnel.getUUID().toString());
    }
Deregisters the given tunnel such that future read/write requests to
that tunnel will be rejected.

@deprecated
    This function has been deprecated in favor of {@link #deregisterTunnel(java.lang.String)},
    which decouples identification of HTTP tunnel sessions from the
    tunnel UUID.

@param tunnel
    The tunnel to deregister.
guacamole-common/src/main/java/org/apache/guacamole/servlet/GuacamoleHTTPTunnelServlet.java