equal
deleted
inserted
replaced
260 */ |
260 */ |
261 clonedState.subjectNamesTraversed |
261 clonedState.subjectNamesTraversed |
262 = (HashSet<GeneralNameInterface>)subjectNamesTraversed.clone(); |
262 = (HashSet<GeneralNameInterface>)subjectNamesTraversed.clone(); |
263 return clonedState; |
263 return clonedState; |
264 } catch (CloneNotSupportedException e) { |
264 } catch (CloneNotSupportedException e) { |
265 throw new InternalError(e.toString()); |
265 throw new InternalError(e.toString(), e); |
266 } |
266 } |
267 } |
267 } |
268 } |
268 } |