Update TP: Java: 77_set

[vlkl-sap]

Testability pattern

Java: 77_set

Problem statement

This pattern has multiple issues.

Instance 1: If a is in array, a.toString() does not actually return the contents of the array. Tools that are able to solve this instance report an FP.

Instances 2 & 4 use multiple APIs that are not specific to sets. It is not clear what the instances are supposed to demonstrate, which parts are incidental and which essential, and how the instances relate to each other.

Proposed changes

Other