Update AllOf.php