The vendor defaulted on the contract to deliver the machine.  If the T&C's call for the money to be refunded but it has been established that no money was to be returned as a result of bankruptcy, that sounds like a business bad debt to me.