title, DEFAULT_JUSTIFICATION, DEFAULT_POSITION,
title, LEADING, TOP,
  public TitledBorder(String title)  {    this(/* border */ null,         title, DEFAULT_JUSTIFICATION, DEFAULT_POSITION,         /* titleFont */ null, /* titleColor */ null);  }