/** * Rename the map. * * @param newMapName the new map name */ public void renameMap(String newMapName) { // TODO rename maps transactionally map.renameMap(newMapName); }