Ok…. So what I thought was going to be a quick fix turns out to be a bit more complicated.
I’m not a PHP developer, so I might be off base here, or there could be a much simpler solution – I will leave that to the developer of the plugin.
However the classes in the file must also be wrapped with an if function to check if they haven’t already been declared.