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.