Code review comment for lp:~tapaal-contributor/tapaal/cpn-gui-dev

All code only comments should be removed, unless it directly relates to something being explained.
Or if used for specialized debug. If for debug, please mark the beginning of block with DEBUG.

Internal members not mutated should be marked final.

(I will make a patch that fixes these to issues)