)]}'
{
  "id": "d4218a5fc0249b933b57211097e7aa15ff9e8caa",
  "repo": "plugins/singleusergroup",
  "revision": "7dc0ce9c4868af2e3fcb5244ade8e19db9f0f1d4",
  "path": ".settings/org.eclipse.jdt.ui.prefs"
}