)]}' { "id": "07b4305cbb53ec43f5082c27f9a7726816582ebe", "repo": "objectteams/org.eclipse.objectteams", "revision": "e1aaa44bfd4dca14cd8aac0b9ec05f2746d1c62c", "path": "org.eclipse.jdt.core/.options" }