class java.util.regex.Pattern_CharProperty extends Pattern_Node