Merge proposals dependent on lp:~tapaal-contributor/tapaal/colorTraceFix

lp:~tapaal-contributor/tapaal/colorTraceFix has no merge proposals.