--- old/jdk/src/jdk.policytool/share/classes/module-info.java	2017-06-17 08:34:35.000000000 -0700
+++ new/jdk/src/jdk.policytool/share/classes/module-info.java	2017-06-17 08:34:35.000000000 -0700
@@ -40,8 +40,8 @@
     requires java.desktop;
     requires java.logging;
     requires java.management;
+    requires java.security.jgss;
     requires java.sql;
     requires jdk.net;
-    requires java.security.jgss;
     requires jdk.security.jgss;
 }