@SuppressWarnings({"unchecked", "cast"}) public DivExpr copy() { try { DivExpr node = (DivExpr) clone(); if (children != null) node.children = (ASTNode[]) children.clone(); return node; } catch (CloneNotSupportedException e) { } System.err.println("Error: Could not clone node of type " + getClass().getName() + "!"); return null; }