MailConfigurator: Automatic Configuration of E-Mail Accounts through Java Mobile Agents