Code Review Request Bug #7129185:(coll) Please add Collections.emptyNavigableSet()

[Darryl Mocek]

Re-sending this with the synopsis in the subject line (and the correct 
bug #).

Hello core-libs.  Please review this patch to fix Bug #7129185.  This 
fix addresses comments made by Jason Mehrens to the commit of the fix 
for bug #4533691, including adding a Collections.emptyNavigableSet 
method.  Tests are included.

Webrev, can be found here: 
http://cr.openjdk.java.net/~dmocek/7129185/webrev.00

Thanks,
Darryl