--- a/bin/unshuffle_list.txt	Wed Sep 20 16:41:54 2017 -0700
+++ b/bin/unshuffle_list.txt	Thu Sep 21 16:29:18 2017 +0800
@@ -88,7 +88,6 @@
 src/jdk.naming.rmi : jdk/src/jdk.naming.rmi
 src/jdk.net : jdk/src/jdk.net
 src/jdk.pack : jdk/src/jdk.pack
-src/jdk.policytool : jdk/src/jdk.policytool
 src/jdk.rmic : corba/src/jdk.rmic  jdk/src/jdk.rmic
 src/jdk.scripting.nashorn : nashorn/src/jdk.scripting.nashorn
 src/jdk.scripting.nashorn.shell : nashorn/src/jdk.scripting.nashorn.shell