I suspect (but have not checked the generated code) that by declaring them

open

and then overriding them in the subclass, each field gets stored twice, once in the subclass and once in the superclass.