The fact that the Transfer agent is holding the shares proves the point made ie., those shares are in the treasury. Check SEC rules or verify with Investor Relations on the issue of authorized share count change.
If the Board agrees with the final court ruling and finalizes the share count changes, the Transfer Agent will adjust the share count accordingly. A press release or SEC form usually follows and confirmed in the 10Q.