@Override
 public boolean equals(Object obj) {
   if (this == obj) return true;
   if (!(obj instanceof District)) return false;
   District o = (District) obj;
   return Util.equals(this.countryID, o.countryID)
       && Util.equals(this.organisationID, o.organisationID)
       && Util.equals(this.districtID, o.districtID);
 }
 /**
  * Sorts using first the editorID (alphabetically) then the indexHint and finally the class-name
  * of the pageFactory.
  */
 @Override
 public int compareTo(EntityEditorPageSettings o) {
   if (o == null) return -1;
   // null-checks of members is in constructor.
   if (!Util.equals(editorID, o.editorID)) this.editorID.compareTo(o.editorID);
   if (indexHint == o.indexHint)
     return pageFactory.getClass().getName().compareTo(o.pageFactory.getClass().getName());
   return indexHint - o.indexHint;
 }
 /** @param error The error to set. */
 public void setError(Throwable error) {
   this.error = error;
   this.errorStackTrace = error == null ? null : Util.getStackTraceAsString(error);
 }
 @Override
 public int hashCode() {
   return Util.hashCode(countryID) ^ Util.hashCode(organisationID) ^ Util.hashCode(districtID);
 }