Eu descobri que existe uma implementação de umSet que usa hashes (com todas as consequências úteis, como O (1) paracontains() etc) que se afirma ser mais eficiente do quejava.util.HashSet em todos os aspectos:

http://ontopia.wordpress.com/2009/09/23/a-faster-and-more-compact-set/

http://alias-i.com/lingpipe/docs/api/com/aliasi/util/CompactHashSet.html

Seria uma boa ideia parar de usarjava.util.HashSet completamente onde quer que eu precisejava.util.Set A favor decom.aliasi.util.CompactHashSet?