A Persistent Java Collections Library