docs: private void recursiveDumpArea(Area a, int level, java.io.PrintWriter p)
      {
          String tagName = "div";
          
          String stag = "<" + tagName
                          + " id=\"a" + a.getId() + "\""
                          + " style=\"" + getAreaStyle(a) + "\""
                          + ">";
  
          String etag = "</" + tagName + ">";
          
          if (a.getChildCount() > 0)
          {
              indent(level, p);
              p.println(stag);
              
              for (int i = 0; i < a.getChildCount(); i++)
                  recursiveDumpArea(a.getChildAt(i), level+1, p);
              
              indent(level, p);
              p.println(etag);
          }
          else
          {
              indent(level, p);
              p.println(stag);
              dumpAreaBoxes(a, p, level+1);
              indent(level, p);
              p.println(etag);
          }
          
      }