if(url == null){
UITools.errorMessage(TextUtils.getText("map_not_saved"));
return false;
}
if(map.containsExtension(DocuMapAttribute.class)){
controller.close(true);
return newDocumentationMap(url);
}
final URL alternativeURL = MFileManager.getController(getMModeController()).getAlternativeURL(url, AlternativeFileMode.ALL);