code: static void add(DeviceProxy dev) {
          //	Get full device name (with tango host) to manage multi tango_host
          String fullDeviceName = dev.url.toString();
  
          //	Get it if already exists
          DeviceProxy tmp_dev = proxy_table.get(fullDeviceName);
          if (tmp_dev == null) {
              //System.out.println("Create " + fullDeviceName);
              proxy_table.put(fullDeviceName, dev);    //	else add it
          }
      }
docs: ===================================================================