Overriding join() in PDBPersistentHashMap.
Merge branch 'master' into persistentmap-join
Merge branch 'persistentmap-join'. Fixes cwi-swat/rascal#714.