String filename
read-only

The basename of the file. May be null.