Review for CR 6728865 : Improved heuristics for Collections.disjoint() [updated]

[Mike Duigou]

I have updated the webrev for CR 6728865 with Rémi's feedback. The new webrev is at:

http://cr.openjdk.java.net/~mduigou/6728865.1/webrev/

The size() comparisons are now done only when both c1 and c2 are not sets and I have removed the isEmpty() micro-optimization.

Mike