{
    "operatingSystem":  "Microsoft Windows Server 2025 Datacenter",
    "toolbox":  "3.9.1.89198",
    "installLocation":  "C:\\proof\\Tools",
    "scripts":  [
                    "idea1",
                    "idea1.cmd"
                ],
    "canonicalIdeaOnPath":  false,
    "standardIdeaInstallations":  0,
    "installedDirectories":  [
                                 "IntelliJ IDEA 2"
                             ],
    "launcher":  "start \"\" %waitarg% \"C:\\proof\\Tools\\IntelliJ IDEA 2\\bin\\idea64.exe\" %intellij_args%"
}