code: public DeviceAttribute[] write_read_attribute(
                  final DeviceProxy deviceProxy,
  			    final DeviceAttribute[] deviceAttributes) throws DevFailed {
          return write_read_attribute(deviceProxy, deviceAttributes, new String[0]);
      }
docs: ==========================================================================