7071727374757677787980
map.getRootNode().setText(name); Controller.getCurrentController().getMapViewManager().getMapViewComponent().repaint(); } if (save) { mapIO.save(map, f); } else { if(f != null) { try { map.setURL(Compat.fileToUrl(f));