synchronized hashset?