/** @apilevel low-level */
 @SuppressWarnings({"unchecked", "cast"})
 public EmptyStmt fullCopy() {
   EmptyStmt res = (EmptyStmt) copy();
   for (int i = 0; i < getNumChildNoTransform(); i++) {
     ASTNode node = getChildNoTransform(i);
     if (node != null) node = node.fullCopy();
     res.setChild(node, i);
   }
   return res;
 }