From Gerri: In SetEntryRange: re-initialize the cache parameters only if in learning phase; fixes a problem                          making the cache de facto ineffective in PROOF
From Gerri:
In SetEntryRange: re-initialize the cache parameters only if in learning phase; fixes a problem
                         making the cache de facto ineffective in PROOF


git-svn-id: ecbadac9c76e8cf640a0bca86f6bd796c98521e3@29125 27541ba8-7e3a-0410-8455-c3a389f83636

dawehner/root,dawehner/root,bbannier/ROOT,dawehner/root,dawehner/root,dawehner/root,dawehner/root,bbannier/ROOT,bbannier/ROOT,bbannier/ROOT,bbannier/ROOT,dawehner/root,bbannier/ROOT,dawehner/root,bbannier/ROOT