ExtensionElement constructor Null safety

ExtensionElement()