Update PHP5ObjectBuilder.php