ReorderingThreadPoolExecutor: added missing readLock() - Some updates to the docs