[news.eclipse.tools] Export to Filesystem fails

[pglezen@xxxxxxxxxx (Paul Glezen)]

I had a group of html files in a project to export.  Some of the files
were configured to use the default text editor.  Others were configured to
use an external editor (a GUI vi clone called gvim).  The ones that were
configured to use gvim failed to export.  The ones configured to use the
default editor suceeded.  Upon changing all file to use the Workbench text
editor by default, the export of all files succeeded.

Also, the "Details" button of the error panel told me which files failed
to export, but not the reason why.

I am using "jre-win32-Eclipse-SDK-SHIPPED-0.128.zip".