--- a/jdk/src/java.base/share/classes/jdk/internal/module/ModulePatcher.java	Mon Dec 19 14:52:19 2016 -0800
+++ b/jdk/src/java.base/share/classes/jdk/internal/module/ModulePatcher.java	Mon Dec 19 15:01:14 2016 -0800
@@ -175,6 +175,12 @@
         return map.isEmpty();
     }
 
+    /*
+     * Returns the names of the patched modules.
+     */
+    Set<String> patchedModules() {
+        return map.keySet();
+    }
 
     /**
      * A ModuleReader that reads resources from a patched module.