[logback-dev] [JIRA] (LOGBACK-715) enhancing DuplicateMessageFilter