)]}'
{
  "id": "95c080f853b882cbc23930a8d50a834147c4fcae",
  "repo": "gerrit/jeetools/webtools.javaee",
  "revision": "f4d83baedd392d2bb9935832afc7b2db1a006bf9",
  "path": "plugins/org.eclipse.jem.proxy/.options"
}