class java.util.regex.Pattern_BmpCharProperty extends Pattern_CharProperty