+ user);
}
// Now, run the task-controller specific code to initialize the
// user-directories.
InitializationContext context = new InitializationContext();
context.user = user;
context.workDir = null;
taskController.initializeUser(context);
// Localization of the user is done