export const AttributeSet = $.type("javax.swing.text.AttributeSet");