This is an unjust decision: when he bought the name there was no one around with a better claim to it. ACL have a valid claim to the name now, but he paid for it in good faith before ACL existed, and he should have been allowed to retain it till it expired.
This reminds me of the time that Victoria Beckham threatened to sue Peterborough United for the rights to the name Posh. But in that case the decision was the correct one.
In reply to Druck: "poor quality XP laptops" - isn't that a tautology?