)]}' { "id": "a7ae70aa7606a371c8542a271dc105a3073e7f39", "repo": "jdt/eclipse.jdt.debug", "revision": "refs/tags/I20170703-2000", "path": "org.eclipse.jdt.launching/.options" }