And by the way, you are _not_ supposed to edit Settings.class.php.
All settings are defined in configuration.php, for example:
$SETTINGS = array(
"enable_mail_notification" => TRUE,
"mail_notification_from" => "admin@yourserver",
... //your other settings
);
$PLUGINS = array(
"Notificator" => array(),
... //your other plugins
);