Turned ObjectTaintStorage into a more general SafeHashMap