)]}'
{
  "id": "40e022d75ba05598a85fe6496a0202b65a33abb7",
  "repo": "plugins/javamelody",
  "revision": "5a8cd06cc2b92178d5e1c5a121b6735e68e91082",
  "path": ".settings/org.eclipse.jdt.core.prefs"
}