Adding SRFile.exists getter