How many men does it take to change the time on a clock?

I caught the 5:30am train down to London today. Below is the actual text of the customer notice explaining why the clocks were all displaying the wrong time:-

"Midland Mainline would like to apologies for the incorrect time being displayed by the station clocks. Due to a complicated fault it is proving difficult for the problem to be solved.

This stations monitors in the Booking Hall are also out of order due to a fault on the main server. Monitors on the platform are working normally.

Thales the maintenance company is working hard to rectify these faults as quickly as possible.

Once again many apologise for any inconvenience this may cause."

Doesn't Thales build warships and the like? And they can't add 1 hour to a clock? Very worrying!