如果要查询eclipse数字版本号的话，可按如下进行操作：
1. 找到eclipse安装目录
2. 进入readme文件夹，打开readme_eclipse.html
3. readme_eclipse.html呈现的第二行即数字版本号，如我的是4.2.0（Juno）
