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();
    border.setTitleFont(border.getTitleFont().deriveFont(font.getSize2D()+fontPlus));
    ret p;
  });
}

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