JVMTI Doc: RedefineClasses - clarify definition of obsolete method

Name: pvR10198 Date: 05/26/2004


Current (0.3.27) JVMTI spec describing RedefineClasses gives the following
definition which is never used:

| An original and a redefined method should be considered equivalent if:
| - their bytecodes are the same except for indices into the constant pool and
| - the referenced constants are equal.

The spec should also say that redefined method is obsolete if it is not
equivalent in terms of this definition.
======================================================================