code: public void deleteDevicePipeProperties(String deviceName,
                                           String pipeName, List<String> propertyNames) throws DevFailed {
          databaseDAO.deleteDevicePipeProperties(this, deviceName, pipeName, propertyNames);
      }
docs: ==========================================================================