Apply formatting
Infer nullity
Infer nullity
Add missing @Overrides