## RGG | Path | Type | Default value | Description | | --- | --- | --- | --- | |/rgg/javaimport/useJRT|java.lang.Boolean|true|Load classes from the JRT| |/rgg/compilation/log_short_names|java.lang.Boolean|false|Shorten the list of file name after compilation| |/rgg/compilation/replaceOldExtentOnReset|java.lang.Boolean|false|Try to reload old modules on reset| |/rgg/compilation/useUnstableNamingMapping|java.lang.Boolean|false|Use only the module name when reload (can be inconsistent)| |/rgg/toolbar/group_type|de.grogra.rgg.RGG.GROUP_TYPE|0|Type of grouping| |/rgg/toolbar/numberToGroup|java.lang.Integer|3|Number to grouping| |/rgg/toolbar/useRunCheckBox|java.lang.Boolean|true|Run checkbox| |/export/obj/checkIfAreaToSmall|java.lang.Boolean|true|| |/export/obj/areaMinSize|java.lang.Double|0.0000001|| |/export/ply/checkIfAreaToSmall|java.lang.Boolean|true|| |/export/ply/areaMinSize|java.lang.Double|0.0000001||