purely for user convenience if they want a specific taskExecutor and may already have a bean by the name of taskExecutor defined that differs in configuration.