}
// WebTML Cache
int tmlCache = _wgaConfiguration.getWebtmlCacheSize();
if (_webTMLCache == null) {
_webTMLCache = new WebTMLCache(tmlCache);
getLog().info("WebTML Cache Capacity is set to " + tmlCache + " entries");
}
else if (_webTMLCache.getCapacity() != tmlCache){
_webTMLCache.setCapacity(tmlCache);
getLog().info("WebTML Cache Capacity is set to " + tmlCache + " entries (ineffective until a WebTML cache reset)");