config.getResourceProviders().put(RequestDispatcher.class.getName(),
new DispatcherProvider(context.getService().getDispatcher()));
// configure the server-side taskmanager
final TaskManager taskManager = resolveTaskManager(config);
TaskManagerFactory.setTaskManagerProvider(new TaskManagerProvider() {
public TaskManager get() {
return taskManager;
}