// check the time of last load
// if the modification time of the file is later than that, load the new file.
// else just skip
File permissionFile = new File(settings.getDataDirectory(), "permissions.acl");
if (permissions == null || permissionFile.lastModified() > permissions.getLoadTime()) {
permissions = new Permissions(permissionFile);
}
}