Proposal to disallow class shadowing

I’m not aware of any runtime overhead of my solution, except probably the inability to use private modifiers, but JVM is smart enough to infer which methods are effectively non-virtual.