Jan Ehmueller

> What do you expect from copying a Java enum? An error may be more intuitive than returning the same enum (although it's a singleton), right? The example could be...

Another use-case is using the duplication halo functionality on morphs in addition to registering events on morphs that point to objects that transitively store foreign objects as instance variables. Split...

I agree. It sounds like option 4 is most sensible for me. I will try it out and report back (though it may take a while)

Committing the classes via git, deleting them and then checking the commit out (and thus re-adding the classes) fixed the issue