Revision 1dfb27e92c1e0511da03185c1e1b789b16648fcf

Committed on 06/12/2019 1:25 am by Bertrand Dunogier <bertrand.dunogier@ez.no> [GitHub Diff]

Made a few classes final