> copy ${ant}/lib/ant.jar ${eclipse}/plugins/org.apache.ant_1.4.1/ant.jar
> copy ${ant}/lib/optional.jar
> ${eclipse}/plugins/org.apache.ant_1.4.1/jakarta-ant-1.4.1-optional.jar
>
Alternatively, you could leave the name the same and edit the plugin.xml
file. I may see about creating a separate ant 1.5 plugin at some point.
HTH
MarkG