So che esiste String.equals(String other string) ma è case-sensitive.

C'è un modo dir ridefinirlo affinché possa non essere più case-sensistive?

O esiste un altro metodo apposito?

Grazie mille.