)]}' { "id": "e9863e281eaccc5123e82ed75713bab3e8b87bbe", "repo": "objectteams/org.eclipse.objectteams", "revision": "f3b02a488f69fe50e7dee974bee76a1b6c8f31c8", "path": "plugins/org.eclipse.objectteams.jdt.nullity/build.properties" }