File constructor Null safety

File()