@Override
  public boolean isAbbreviatePackageNames(String paneId) {
    return abbreviatePackageNames.isSelected() && abbreviatePackageNames.isEnabled(paneId);
  }
@Override
  public boolean isAbbreviatePackageNames(String paneId)