sb.append((char)'F');
sb.append('F');
    static final String createOptionString(int options) {        StringBuffer sb = new StringBuffer(9);        if ((options & RegularExpression.PROHIBIT_FIXED_STRING_OPTIMIZATION) != 0)            sb.append((char)'F');        if ((options & RegularExpression.PROHIBIT_HEAD_CHARACTER_OPTIMIZATION) != 0)            sb.append((char)'H');        if ((options & RegularExpression.XMLSCHEMA_MODE) != 0)            sb.append((char)'X');        if ((options & RegularExpression.IGNORE_CASE) != 0)            sb.append((char)'i');        if ((options & RegularExpression.MULTIPLE_LINES) != 0)            sb.append((char)'m');        if ((options & RegularExpression.SINGLE_LINE) != 0)            sb.append((char)'s');        if ((options & RegularExpression.USE_UNICODE_CATEGORY) != 0)            sb.append((char)'u');        if ((options & RegularExpression.UNICODE_WORD_BOUNDARY) != 0)            sb.append((char)'w');        if ((options & RegularExpression.EXTENDED_COMMENT) != 0)            sb.append((char)'x');        if ((options & RegularExpression.SPECIAL_COMMA) != 0)            sb.append((char)',');        return sb.toString().intern();    }