code: public static void remove(DeviceProxy dev) {
          //	Get full device name (with tango host)
          String fullDeviceName = dev.url.toString();
  
          //	Check if already exists before remove.
          if (proxy_table.containsKey(fullDeviceName))
              proxy_table.remove(fullDeviceName);
      }
docs: ===================================================================