/* @see java.lang.Object#hashCode()
  */
 public int hashCode() {
   return backend.hashCode();
 }