Two-phase class initialization (allow code before super calls)

[peq]

Phase1: Not possible to use 'this' (no method calls etc.)
super-call
Phase2: Everything allowed

Also look at Declaring and Checking Non-null Types in an Object-Oriented Language
Manuel Fähndrich and K. Rustan M. Leino, section 3 and section 9

[Frotty]

yes yes yes