MJI model class for java.lang.Class library abstraction This is a JPF specific version of a system class because we can't use the real, platform VM specific version (it's native all over the place, its field structure isn't documented, most of its methods are private, hence we can't even instantiate it properly).
modeled root class of all Java objects.
MJI model class for java.lang.StackTraceElement
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
MJI model class for java.lang.Thread library abstraction <2do> this should not require the JPF ThreadList to retrieve corresponding ThreadInfos (the ThreadList might not store terminated threads)
barebones model class for java.lang.Throwable the main reason for having one is to defer the stacktrace creation, which we don't want if all an application does is intercepting a gazillion of exceptions like NoSuchMethodException