static void boldConsole() {
  JTextArea ta = cast getConsoleTextArea_gen();
  ta.setFont(ta.getFont().deriveFont(Font.BOLD));
}