BA certainly use the Amadeus GDS for their flight stuff. As such, one could certainly argue that the booking involved the use of a listed GDS, as it's a joint booking. However, whether or not BA use their GDS to make the hotel booking with Hilton is a different matter, it's certainly possible they use one of the OTA's systems for executing the hotel booking...