static SimpleAttributeSet style_fontSize(int fontSize, SimpleAttributeSet a default new) {
  StyleConstants.setFontSize(a, fontSize);
  ret a;
}