Von der Open-Source-Software Freemind gibt es eine neue Beta-Version, es handelt sich um die 0.9, Beta 14. Nun funktioniert der Export im PDF-Format (bei mir) wieder einwandfrei.