my advice is ignore.
do not answer her calls, sms, emails...
if it is inevitable that they meet (like in sch or something) keep
a dist. do not let her hold his hand, talk to her like a norm
hi-bye friend.
if she shouts at him, respond as if a hi-bye friend suddenly shout
at you for no reason - leave.