Как проверить конкретную версию встроенного плагина 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