JPL announces another round of layoffs.