There was an unusual interruption to the semi-final of of the Masters between Judd Trump and Barry Hawkins as play was halted by a broken pocket.