I have the same error here, no pdf....
I found a workaround:
In the file HTMLeditor/editor/filemanager/connectors/php/config.php
Change line 141 into: $Config['AllowedExtensions']['Image'] = array('bmp','gif','jpeg','jpg','png','pdf','doc') ;
That'll do the trick... seems a bug :).