public void visit(TableHeaderNode tableHeaderNode) {
   traverse(tableHeaderNode.getChildASTNodes(), "<th>", "</th>");
 }
 public void visit(TableHeaderNode tableHeaderNode) {
   traverse(tableHeaderNode.getChildASTNodes());
 }