Fatal error: Trait "ILIAS\Setup\Agent\HasNoNamedObjective" not found in /var/www/html/ilias/components/ILIAS/VirusScanner/classes/Setup/class.ilVirusScannerSetupAgent.php on line 25