class ExporterJsonSettings extends AbstractExporterSettings {

        // Preference names
        private final static String NORMALIZE = "Json_normalize";
        private final static String EXPORT_COLORS = "Json_exportColors";
        private final static String EXPORT_POSITION = "Json_exportPosition";
        private final static String EXPORT_ATTRIBUTES = "Json_exportAttributes";
        private final static String EXPORT_SIZE = "Json_exportSize";
        private final static String EXPORT_DYNAMICS = "Json_exportDynamics";
        private final static String EXPORT_META = "Json_exportMeta";
        private final static String PRETTY_PRINT = "Json_prettyPrint";
        private final static String FORMAT = "Json_format";
        // Default
        private final static ExporterJson DEFAULT = new ExporterJson();

        private void save(ExporterJson exporterJson) {
            put(NORMALIZE, exporterJson.isNormalize());
            put(EXPORT_COLORS, exporterJson.isExportColors());
            put(EXPORT_POSITION, exporterJson.isExportPosition());
            put(EXPORT_SIZE, exporterJson.isExportSize());
            put(EXPORT_ATTRIBUTES, exporterJson.isExportAttributes());
            put(EXPORT_DYNAMICS, exporterJson.isExportDynamic());
            put(EXPORT_META, exporterJson.isExportMeta());
            put(FORMAT, exporterJson.getFormat().name());
            put(PRETTY_PRINT, exporterJson.isPrettyPrint());
        }

        private void load(ExporterJson exporterJson) {<FILL_FUNCTION_BODY>}
    }

            exporterJson.setNormalize(get(NORMALIZE, DEFAULT.isNormalize()));
            exporterJson.setExportColors(get(EXPORT_COLORS, DEFAULT.isExportColors()));
            exporterJson.setExportAttributes(get(EXPORT_ATTRIBUTES, DEFAULT.isExportAttributes()));
            exporterJson.setExportPosition(get(EXPORT_POSITION, DEFAULT.isExportPosition()));
            exporterJson.setExportSize(get(EXPORT_SIZE, DEFAULT.isExportSize()));
            exporterJson.setExportDynamic(get(EXPORT_DYNAMICS, DEFAULT.isExportDynamic()));
            exporterJson.setExportMeta(get(EXPORT_META, DEFAULT.isExportMeta()));
            exporterJson.setFormat(ExporterJson.Format.valueOf(get(FORMAT, DEFAULT.getFormat().name())));
            exporterJson.setPrettyPrint(get(PRETTY_PRINT, DEFAULT.isPrettyPrint()));
        
<no_super_class>