É possível exportar arquivos do workbench, da seguinte maneira:
arrastando e soltando no sistema de arquivos
utilizando o assistente de exportação.