Theft is when something you own is taken away. The squatter never owned the domain, only registered to use it. In this case, ICANN owns the domain and allows a registrar to handle who can use that domain. ICANN sets strict rules on how domains can be used, and the squatter broke those rules.

Maybe the judge is a little smarter on actual laws than you are.