Description
The JustIce bytecode verifier checks the validity of the field name and the variable name considering the java langage specification.
This check is not specified by the bytecode verifier specification.
This may lead to bytecode verification errors in pass2 on valid classfiles.