I transited through there 2 weekends ago on JFK-LHR-BOM and return and it was definately over an hour one way with terminal change and about an hour going the other way. I booked mine with 4 hour connections because of the problems. The alternate was two hours which I thought at the time, and still do, would be possible but might not work.