Как проверить конкретную версию встроенного плагина Eclipse? ⇐ JAVA

[Anonymous]

Я использую Eclipse 4.2 Juno (

Код: Выделить всё

Build id: I20120608-1400

), и я хотел бы изменить один из встроенных плагинов, поэтому я хотел бы это проверить, но не знаю как.
Файл это:

Код: Выделить всё

org.eclipse.ui.workbench_3.103.0.v20120530-1824.jar

Я попробовал репозиторий CVS, который нашел на сайте Eclipse, но не могу найти этот конкретный тег/версию.
Я' Я пробовал Git, где я мог найти версию, но не сам org.eclipse.ui.workbench.
Может ли кто-нибудь сказать мне, как получить конкретный исходный код? версия Eclipse шаг за шагом шаг?

Подробнее здесь: https://stackoverflow.com/questions/122 ... -in-plugin