Exportando arquivos
É possível exportar arquivos do Workbench:
arrastando e soltando no sistema de arquivos ou
copiando e colando no sistema de arquivos ou
utilizando o assistente de Exportação.