added StoredMap.java