JDI spec: wrong statement in the ObjectReference.setValue method's spec

Name: dkR10014 Date: 11/29/2002


 The jdi spec for ObjectReference.setValue method includes the statement:
    ...
    The Field must be valid for this ObjectReference; that is, there
    must be a widening reference conversion from this object to the field's type.
    ...
   
 The second part of above statement looks like as wrong interpretation for the first one.
 I believe the following intepretation is more adequate:
    ...; that is, the field mirrored in the Field must be declared in the class of the
    object mirrored in this ObjectReference or in one of its superclasses,
    superinterfaces, or implemented interfaces.
   
 In addition, the widening reference conversation from the Value's type to the Field's type
 should be required.
 
 The same is true for the ClassType.setValue method's spec.
        
======================================================================