Fixes drag and drop import from Event-B explorer and adds an FMU file to Explorer view.