Replace PathCopyingPersistentTreeMap hash and size calculation#36

Druidos wants to merge 2 commits into

sosy-lab:mainsosy-lab/java-common-lib:mainfrom

Druidos:performance_fix_of_PathCopyingPersistentTreeMapDruidos/java-common-lib:performance_fix_of_PathCopyingPersistentTreeMapCopy head branch name to clipboard