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

static SimpleAttributeSet style_italic(SimpleAttributeSet a) {
  StyleConstants.setItalic(a, true);
  ret a;
}