/** @apilevel internal */
@SuppressWarnings({"unchecked", "cast"})
public ThrowStmt copy() {
try {
ThrowStmt node = (ThrowStmt) clone();
node.parent = null;
if (children != null) node.children = (ASTNode[]) children.clone();
return node;
} catch (CloneNotSupportedException e) {
throw new Error("Error: clone not supported for " + getClass().getName());
}
}
