static JLabel makeLabelBold(JLabel l) {
  if (l != null) swing {
    l.setFont(l.getFont().deriveFont(Font.BOLD));
  }
  ret l;
}