我使用 Eclipse 4.2 Juno（内部版本号：I20120608-1400），我想更改其中一个内置插件，所以我想检查一下，但不知道如何。
该文件是：org.eclipse.ui.workbench_3.103.0.v20120530-1824.jar
我尝试了在 Eclipse 站点上找到的 CVS 存储库，但我找不到这个特定的标签/版本。我尝试了 Git，我可以在其中找到版本，但找不到org.eclipse.ui.workbench它本身。
有人可以告诉我如何一步一步地获取特定的 Eclipse 源版本吗？