void jButton_savejson_actionPerformed(ActionEvent e) {
		File f = null;
		String propname = "";
		JFileChooser chooser = new JFileChooser(this.directory);
		chooser.setFileFilter(new ImageMapFilter());
		chooser.setDialogTitle("Save Map File");
		// chooser.setLocale(currentLocale);
		if (chooser.showSaveDialog(this) == JFileChooser.APPROVE_OPTION) {
			f = chooser.getSelectedFile();
		} else
			return; // FileChooser Cancel

		try {
			propname = f.getCanonicalPath();
			int lastDot = propname.lastIndexOf('.');
			if (lastDot >= 0)
				propname = propname.substring(0, lastDot) + ".json";
			else
				propname += ".json";
			saveToFile(shapeList.get_json(imageMap), propname);
		} catch (Exception ex) {
			reportError("Error saveToFile("+propname+"): exception: "+ex.getMessage());
		}
		mapChanged = false;
	}