Code review comment for lp:~tapaal-contributor/tapaal/token-truncation-bug-1918913

It looks as an okay solution. Can the limit of 999 tokens when drawing the net in GUI be increased to say 99999999 tokens? Should some net exceed it when loading, then print >9999 9999 instead of #9999 9999 (just to be sure).