[#2531] Documented dumpFile