{"devtools\/shared\/webconsole.properties:timestampFormat":{"%02S:%02S:%02S.%03S":"%02S:%02S:%02S.%03S"}}