Added @SafeFileType/@UnknownFileType annotations.