Artifacts of pdt-master #1724