Searched refs:mapVersion (Results 1 – 1 of 1) sorted by relevance
426 String mapVersion = xmlMap.getAttribute("MAP_XML_VERSION"); in importMap() local427 if (mapVersion.compareTo(MAP_XML_VERSION) > 0) in importMap()429 "Preferences map file format version " + mapVersion + in importMap()