Uppaal is no longer supported. Anyone who wishes to use Uppaal needs to update the backend. The channel communication is updated so that it works