[GERONIMODEVTOOLS-593] "tptp.runtime-TPTP-4.6.0.zip " download URL is incorrect in build.xml

• Type: Bug
• Status: Resolved
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 2.2.0
• Fix Version/s: 2.1.5, 2.2.0
• Component/s: eclipse-plugin
• Environment: OS:Suse
• Assignee: Xuan Dai
• Reporter: viola.lu
• Created: 18/Sep/09 09:38
• Updated: 21/Sep/09 02:57
• Resolved: 21/Sep/09 02:57

Description

1.Build GEP, and when download tptp.runtime-TPTP-4.6.0.zip, Errors exist:
Embedded error: The following error occurred while executing this line:
/var/gep22src/eclipse/build.xml:63: Error while expanding /root/.m2/repository/eclipse-downloads/tptp.runtime-TPTP-4.6.0.zip
Negative seek offset