Class JDK15RegexTranslator.Property