equal
deleted
inserted
replaced
54 public static void main(String[] args) throws IOException { |
54 public static void main(String[] args) throws IOException { |
55 Profiles p = Profiles.read(new File(args[0])); |
55 Profiles p = Profiles.read(new File(args[0])); |
56 if (args.length >= 2) { |
56 if (args.length >= 2) { |
57 Map<Integer,Set<String>> lists = new TreeMap<>(); |
57 Map<Integer,Set<String>> lists = new TreeMap<>(); |
58 for (int i = 1; i <= 4; i++) |
58 for (int i = 1; i <= 4; i++) |
59 lists.put(i, new TreeSet<>()); |
59 lists.put(i, new TreeSet<String>()); |
60 |
60 |
61 File rt_jar_lst = new File(args[1]); |
61 File rt_jar_lst = new File(args[1]); |
62 for (String line: Files.readAllLines(rt_jar_lst.toPath(), Charset.defaultCharset())) { |
62 for (String line: Files.readAllLines(rt_jar_lst.toPath(), Charset.defaultCharset())) { |
63 if (line.endsWith(".class")) { |
63 if (line.endsWith(".class")) { |
64 String type = line.substring(0, line.length() - 6); |
64 String type = line.substring(0, line.length() - 6); |