Update FamilyPropagationChecked.java