You are correct that if Badco completes the bankruptcy process the payments will come from a trust fund. But J&J doesn't control how much money goes into that trust fund. The 2.5B is their opening bid but it will ultimately be determined by a judge or jury.