Update genwsdl.php