)]}'
{
  "id": "0cd39d4e4a3fb8e450906b3c494400c41b40bc3b",
  "repo": "jeetools/webtools.javaee",
  "revision": "f82ee3ab611dcfcfa758a810ac395f4685aee6ee",
  "path": "plugins/org.eclipse.jst.jee/.settings/org.eclipse.jdt.ui.prefs"
}