You can export files from the Workbench in three ways:
See the related tasks section for more details.
Resources
Exporting resources to the file system Exporting resources to a ZIP File Exporting resources to a JAR file Importing