defect 4254