@Override
    protected Pattern getPattern(String right,
                                 boolean ignoreCase)
      throws ParseException {
      return super.getPattern(convertToRE(right), ignoreCase);
    }
@Override
    protected Pattern getPattern(String right,
                                 boolean ignoreCase)