| changeset 10419 | 12c063b39232 |
| parent 10336 | 0bb1999251f8 |
| child 18551 | 882a3948c6e6 |
| 10418:1d57022fdb6e | 10419:12c063b39232 |
|---|---|
706 new HashSet<X500Principal>(issuerX500Principals); |
706 new HashSet<X500Principal>(issuerX500Principals); |
707 } |
707 } |
708 return copy; |
708 return copy; |
709 } catch (CloneNotSupportedException e) { |
709 } catch (CloneNotSupportedException e) { |
710 /* Cannot happen */ |
710 /* Cannot happen */ |
711 throw new InternalError(e.toString()); |
711 throw new InternalError(e.toString(), e); |
712 } |
712 } |
713 } |
713 } |
714 } |
714 } |