{
    "webServerPort": 8080,
    "webSocketPort": 3000,
    "FilesDirectory": "DesignTool",
    "useTerminalOutputCapture": true,
    "useTerminalOutputAnsiStrip": false,
    "useTerminalOutputToHtml": true
}