Post June 1 release is a possibility.
That said, if he were somehow cut prior to June 1 you're creating a huge 1 time cap hit, but then its done. You also save the 29 mils in salary he is scheduled to make.
Most likely he gets another yr here but I guess it depends on what they do ultimately...