Code review comment for lp:~tapaal-contributor/tapaal/load-and-save-time-and-game-net-properties

The statistics cannot be fixed this way. It must be done online, everytime the dialog is called
it should be recomputed as the net could have been edited in between.
E.g. make two components, first one has urgent transition, the second one not - it will report the statistics in a wrong way.