Implemented successful JmpqEditor.extractFile(String name, File
destination) for all file types.