JED - Mining Dimensions

{
    "dimensions": [
        {
            "dim": 6,
            "worldinfo_onetime": {
                "DayTime": 16000,
                "GameRules": {
                    "doDaylightCycle": "false"
                }
            },
            "worldinfo": {
                "JED": {
                    "SkyRenderType": 2
                }
            }
        },
        {
            "dim": 7,
            "override": true,
            "dimensiontype": {
                "id": 7,
                "name": "Custom Mining World",
                "suffix": "_dim7",
                "keeploaded": false,
                "worldprovider": "WorldProviderSurfaceJED"
            },
            "worldinfo_onetime": {
                "generatorName": "flat",
                "generatorOptions": "3;minecraft:bedrock,60*minecraft:stone,2*minecraft:dirt,minecraft:grass;1;decoration",
                "DayTime": 16000,
                "GameRules": {
                    "doDaylightCycle": "false"
                }
            },
            "worldinfo": {
                "JED": {
                    "SkyRenderType": 2
                }
            }
        }
    ]
}