)]}' { "id": "a11a56674d13c1a3715899741a28b3d0041e286c", "repo": "plugins/javamelody", "revision": "4b472a619d2ad18b0a1bcc907da91a7c6579d5e5", "path": "tools/workspace_status.py" }