Disk-backed hashmaps for Java