static SimpleAttributeSet style_center(SimpleAttributeSet a default new) {
  StyleConstants.setAlignment(a, StyleConstants.ALIGN_CENTER);
  ret a;
}