note by slaurent : quite oddly threadPoolExecutor.setCorePoolSize
checks that queue.remainingCapacity()==0. I did not understand
why, but to get the intended effect of waking up idle threads, I
temporarily fake this condition.