public FileOption getFileOption(String filename) {
FileOption fileOption = fileOptions.get(filename);
if (fileOption == null) {
public FileOption getFileOption(String filename) {
FileOption fileOption = fileOptions.get(filename);
if (fileOption == null) {