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