static JPanel jCenteredSection_fontSizePlus(int fontPlus, Component c) {
  ret jCenteredSection_fontSizePlus(fontPlus, "", c);
}

static JPanel jCenteredSection_fontSizePlus(int fontPlus, S title, Component c) {
  ret swing(() -> {
    JPanel p = jCenteredSection(title, c);
    TitledBorder border = cast p.getBorder();
    Font font = border.getTitleFont();
    border.setTitleFont(font.deriveFont(font.getSize2D()+fontPlus));
    ret p;
  });
}

static JPanel jCenteredSection_fontSizePlus(int fontPlus, S title) {
  ret jCenteredSection_fontSizePlus(fontPlus, title, jpanel());
}

Began life as a copy of #1020286