[logback-dev] [JIRA] (LOGBACK-1733) The size of the thread pool for ScheduledExecutor should be ajustable