We have explained this to our customer and convinced them to fix their 
tool. As a result I have committed the attached patch which reverts this 
change.

Dave