Eclipse安装TPTP插件时会用到的emf-sdo-xsd-SDK-2.3.2.zip文件