code: public void delete_property(Database database, String name, DbDatum[] properties)
              throws DevFailed {
          String type = "";
          delete_obj_property(database, name, type, properties);
      }
docs: ==========================================================================