import javax.swing.border.TitledBorder; static JPanel jCenteredSection_fontSizePlus(int fontPlus, Component etc c) { ret jCenteredSection_fontSizePlus(fontPlus, "", c); } static JPanel jCenteredSection_fontSizePlus(int fontPlus, S title, Component etc 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()); }