<P> public final class ClassWithTypePRefSelf : R|java/lang/Object| {
}
