code: public DeviceProxy get_adm_dev(final DeviceProxy deviceProxy) throws DevFailed {
  		if (deviceProxy.getAdm_dev() == null) {
  	    	import_admin_device(deviceProxy, "get_adm_dev");
  		}
  		return deviceProxy.getAdm_dev();
      }
docs: ==========================================================================