static SimpleAttributeSet style_bold() {
  ret style_bold(new SimpleAttributeSet);
}

static SimpleAttributeSet style_bold(SimpleAttributeSet a) {
  StyleConstants.setBold(a, true);
  ret a;
}