Expanded API of PhasedExecutorService