// Personalisation
userAgentVerifier = new UserAgentVerifier(_wgaConfiguration.getPersonalisationConfiguration(), this);
// Design
DesignConfiguration designConfig = _wgaConfiguration.getDesignConfiguration();
designFileValidator = new DesignFileValidator(designConfig, this);
if (designConfig.getDefaultEncoding() == null) {
designConfig.setDefaultEncoding(DEFAULT_FILE_ENCODING);
getLog().info("No default design file encoding configured. Using '" + DEFAULT_FILE_ENCODING + "'.");
}
if (designFileCache == null) {
designFileCache = CacheFactory.createCache(CACHENAME_DESIGNFILES, _wgaConfiguration.getDesignConfiguration().getDesignFileCacheSize(), null);