Class JDK15RegexTranslator.Subtraction