*** 85,95 **** if (!(obj instanceof Tree)) { return false; } ! return c.equalCursor(((Tree)obj).cursor()); } @Override public final int hashCode() { return c.hashCode(); --- 85,95 ---- if (!(obj instanceof Tree)) { return false; } ! return c.equals(((Tree)obj).cursor()); } @Override public final int hashCode() { return c.hashCode();