code: public void buildPackageHeader(XMLNode node, Content summariesTree) {
          PackageElement abbrevPkg = configuration.workArounds.getAbbreviatedPackageElement(currentPackage);
          if (!printedPackageHeaders.contains(abbrevPkg)) {
              writer.addPackageName(currentPackage, summariesTree, first);
              printedPackageHeaders.add(abbrevPkg);
          }
      }
docs: Build the header for the given package.
  
  @param node the XML element that specifies which components to document
  @param summariesTree the tree to which the package header will be added