src/jdk.jdeps/share/classes/com/sun/tools/jdeps/Profile.java
changeset 48253 82767203606e
parent 47216 71c04702a3d5
--- a/src/jdk.jdeps/share/classes/com/sun/tools/jdeps/Profile.java	Tue Dec 12 11:10:12 2017 -0800
+++ b/src/jdk.jdeps/share/classes/com/sun/tools/jdeps/Profile.java	Tue Dec 12 11:31:38 2017 -0800
@@ -32,7 +32,6 @@
 import java.util.HashMap;
 import java.util.HashSet;
 import java.util.Map;
-import java.util.Optional;
 import java.util.Set;
 
 /**
@@ -138,7 +137,7 @@
     // for debugging
     public static void main(String[] args) throws IOException {
         // initialize Profiles
-        new JdepsConfiguration.Builder().allModules().build();
+        new JdepsConfiguration.Builder().addmods(Set.of("ALL-SYSTEM")).build();
 
         // find platform modules
         if (Profile.getProfileCount() == 0) {