I agree that it might not matter (but we can't use the excuse that 'type-checking is already expensive' too often ;-)). For me an immutable collection is nicer than a synchronized mutable one, but I don't feel to strongly about this one, so we can leave it as it.