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

static SimpleAttributeSet style_underline(SimpleAttributeSet a) {
  StyleConstants.setUnderline(a, true);
  ret a;
}