Ok, my problem is creating an array of Classes, such that the classes are all subclasses of a specific super class. This should be possible, I believe, since the objects being instantiated are of type "Class", and not instances of the named classes. Doesn't the compiler have enough information to create this, and enforce it? Furthermore, couldn't SuperClass also be abstract, ...