code: private static String getTitle(final int[] widths) {
  		StringBuffer buf = new StringBuffer("Column widths: ");
  
  		for (int i = 0; i < widths.length; i++) {
  			if (i > 0) {
  				buf.append(", ");
  			}
  
  			buf.append(widths[i]);
  		}
  
  		return buf.toString();
  	}
docs: Concatenates column widths to form the heading text for the example.
  
  @param widths the widths to concatenate.
  @return the title text.