)]}' { "id": "8efa693baf52e573f601f5e3a4e34867c2235415", "repo": "servertools/webtools.servertools", "revision": "564ba8faa309545c99c569c5fef7b3f1ebc30ab8", "path": "docs/org.eclipse.jst.server.ui.doc.user/plugin.xml" }