public synchronized void setDefaultUseCaches(boolean use) { def_use_caches = use;
public void setDefaultUseCaches(boolean use) { defaultUseCaches = use;
	public synchronized void setDefaultUseCaches(boolean use) {		def_use_caches = use;	}