Name: akC45999 Date: 10/18/96


The section "6.4 The Virtual machine instruction set" of The Java Virtual Machine,
subsection if<cond> claims:

"The value must be of type int".
Meanwhile, following test passes the verification:
-----------------------------------------------------------------
public class ifcond00702 {

public static Method run:"([Ljava/lang/String;Ljava/io/PrintStream;)I"
stack 3 locals 2
{
aload_0; // load value of type reference
ifeq L; //The value must be of type int.
L: iconst_0;
ireturn;
}

}

-----------------------------------------------------------------

======================================================================