)]}'
{
  "id": "e277140b0e65f12ded470eea0ac308ed811a0899",
  "repo": "openoffice",
  "revision": "refs/heads/python-editing-embedding",
  "path": "main/scripting/examples/java/Highlight/HighlightText.java"
}