)]}' { "id": "47ebc7c969f2a16dd0af81cdc0ef8bf8af86db72", "repo": "r8", "revision": "refs/tags/3.1.15-dev", "path": "third_party/openjdk/openjdk-rt-1.8.tar.gz.sha1" }