@Override
 public int hashCode() {
   return root.hashCode() + (31 * file.hashCode());
 }