--- jsr166/src/test/jtreg/util/Collections/EmptyNavigableSet.java	2018/07/22 20:33:01	1.13
+++ jsr166/src/test/jtreg/util/Collections/EmptyNavigableSet.java	2018/07/23 01:11:22	1.14
@@ -45,6 +45,7 @@ import java.util.SortedSet;
 import java.util.TreeSet;
 
 import static org.testng.Assert.assertFalse;
+import static org.testng.Assert.assertNull;
 import static org.testng.Assert.assertSame;
 import static org.testng.Assert.assertTrue;