code: public void init(final DeviceProxy deviceProxy, final String devname) throws DevFailed {
          // super.init(deviceProxy, devname);
          deviceProxy.setFull_class_name("DeviceProxy(" + name(deviceProxy) + ")");
      }
docs: ===================================================================