Index of /repositories/gradle-plugins/org/eclipse/platform/org.eclipse.team.genericeditor.diff.extension