| changeset 10419 | 12c063b39232 |
| parent 10336 | 0bb1999251f8 |
| child 12860 | 9ffbd4e43413 |
| child 11902 | a94ba35d9c4a |
| 10418:1d57022fdb6e | 10419:12c063b39232 |
|---|---|
392 clonedState.rootNode = rootNode.copyTree(); |
392 clonedState.rootNode = rootNode.copyTree(); |
393 } |
393 } |
394 |
394 |
395 return clonedState; |
395 return clonedState; |
396 } catch (CloneNotSupportedException e) { |
396 } catch (CloneNotSupportedException e) { |
397 throw new InternalError(e.toString()); |
397 throw new InternalError(e.toString(), e); |
398 } |
398 } |
399 } |
399 } |
400 } |
400 } |