Exportando arquivos

 É possível exportar arquivos do workbench, da seguinte maneira: