hasSet configurations and configurationFile getter