defect 4235