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