Comparing CharSequence in CharSequence.spec and CharSequence.class
CharSequence.spec:67:11: Method equals(Object obj) is in CharSequence.spec, but is not in CharSequence.class
CharSequence.spec:72:11: Method hashCode() is in CharSequence.spec, but is not in CharSequence.class
Comparing Package in Package.jml and Package.class
Package.jml: Constructor Package(class java.lang.String,class java.util.jar.Manifest,class java.net.URL,class java.lang.Package$1) is not in Package.jml, but is in Package.class
Comparing AccessibleObject in AccessibleObject.jml and AccessibleObject.class
AccessibleObject.jml: Field reflectionFactory is not in AccessibleObject.jml, but is in AccessibleObject.class
Comparing Constructor in Constructor.jml and Constructor.class
Constructor.jml: Method getConstructorAccessor() is not in Constructor.jml, but is in Constructor.class
Constructor.jml: Method setConstructorAccessor(interface sun.reflect.ConstructorAccessor) is not in Constructor.jml, but is in Constructor.class
Comparing Method in Method.jml and Method.class
Method.jml: Method getMethodAccessor() is not in Method.jml, but is in Method.class
Method.jml: Method setMethodAccessor(interface sun.reflect.MethodAccessor) is not in Method.jml, but is in Method.class