)]}' { "id": "50aa967df38e19c62c3a90fa7e473d74988d61fe", "repo": "platform/frameworks/base", "revision": "5474b0f8603ee66413c3e44600ca46f162f3089e", "path": "core/jni/android_media_ToneGenerator.cpp" }