--- old/test/tools/launcher/VersionCheck.java	2017-09-06 12:14:15.000000000 +0800
+++ new/test/tools/launcher/VersionCheck.java	2017-09-06 12:14:15.000000000 +0800
@@ -110,7 +110,6 @@
         "orbd",
         "pack200",
         "packager",
-        "policytool",
         "rmic",
         "rmid",
         "rmiregistry",