Use synchronizedSet (#1072)

1 file changed