I have a project where I have added a PDF source file.
When I run Batch Tasks -> Export files, I get a .pdf file that doesn't open in a PDF reader. Closer investigation shows it is a Word DOCX file, only with the wrong extension!
That it is a DOCX file is consistent with the way Trados Studio always has worked as long as I know it: It transforms a PDF into a DOCX and then continues from there, also exporting to DOCX – which is very adequate, too, since that way I can continue polishing the final document.
The only bug, then, is that the output files get the PDF extension.
This is Studio 2015 with Service Pack 2 and the latest updates, version string 12.2.5087.4.