Upgrading to use jdk 17

This commit is contained in:
2023-09-17 22:15:12 -05:00
parent 09f3bbbc74
commit 587f8bbaf6
28 changed files with 414 additions and 331 deletions

View File

@@ -48,10 +48,8 @@ public class Triplet<V1, V2, V3> extends Pair<V1, V2> {
@Override
public boolean equals(Object other) {
if (!(other instanceof Triplet)) return false;
Triplet<?, ?, ?> otherTriplet = (Triplet<?, ?, ?>)other;
if (!(other instanceof Triplet<?, ?, ?> otherTriplet)) return false;
return super.equals(otherTriplet) && this.getValue3().equals(otherTriplet.getValue3());
}
}
}