public DataFile GetPluginListFile(string defaultPluginFilePath)
{
// Return default received as argument unless custom path has been provided
string fullPath = pluginListFile ?? defaultPluginFilePath;
return new DataFile(this, FileMode.Open, fullPath, null);
}