equal
deleted
inserted
replaced
680 label = "-" + label; |
680 label = "-" + label; |
681 } |
681 } |
682 |
682 |
683 // The label finally contains 2 parts separated by '|': |
683 // The label finally contains 2 parts separated by '|': |
684 // The legend displayed before the entry names, and |
684 // The legend displayed before the entry names, and |
685 // the cert info (if -certs specfied). |
685 // the cert info (if -certs specified). |
686 |
686 |
687 if (!output.containsKey(label)) { |
687 if (!output.containsKey(label)) { |
688 output.put(label, new ArrayList<String>()); |
688 output.put(label, new ArrayList<String>()); |
689 } |
689 } |
690 |
690 |