equal
deleted
inserted
replaced
163 if (isLinkedOnly) s.markAsLinkedOnly(); |
163 if (isLinkedOnly) s.markAsLinkedOnly(); |
164 return s; |
164 return s; |
165 } |
165 } |
166 |
166 |
167 public static void saveSources(Map<String,Source> sources, StringBuilder b) { |
167 public static void saveSources(Map<String,Source> sources, StringBuilder b) { |
168 List<String> sorted_sources = new ArrayList<String>(); |
168 List<String> sorted_sources = new ArrayList<>(); |
169 for (String key : sources.keySet()) { |
169 for (String key : sources.keySet()) { |
170 sorted_sources.add(key); |
170 sorted_sources.add(key); |
171 } |
171 } |
172 Collections.sort(sorted_sources); |
172 Collections.sort(sorted_sources); |
173 for (String key : sorted_sources) { |
173 for (String key : sorted_sources) { |