Improved JavaDoc of PhasedExecutorService