if (database == null) {
      if (other.database != null)
        return false;
    } else if (!database.equals(other.database))
      return false;