`compare()` called on itself

`compareToIgnoreCase()` called on itself

`compare()` called on itself

`compare()` called on itself

'finalize()' should not be overridden

'finalize()' should not be overridden

'finalize()' should not be overridden

`switch (response) { case YES_THIS_INSTANCE -> { // handle this b...` statement on enum type 'de.uka.ilkd.key.smt.newsmt2.SMTHandler.Capability' misses case 'UNABLE'

String values are compared using `==`, not 'equals()'

String values are compared using `!=`, not 'equals()'

Duplicate branch in 'switch'

Branch in 'switch' is a duplicate of the default branch

Branch in 'switch' is a duplicate of the default branch

Branch in 'switch' is a duplicate of the default branch

Duplicate branch in 'switch'

Multiple occurrences of `((rd[j + 1] << 1) | 1) & charMatch`

Multiple occurrences of `((rd[j + 1] << 1) | 1) & charMatch`

Multiple occurrences of `Paths.get("z", "a", "b", "c").toString()`

Multiple occurrences of `Paths.get("z", "a", "b", "c")`