Correctly handle wide iload commands

These commands occur when there are >255 local variables. In these cases
the index of the local variable is represented using a u2 rather than a
u1.

Author: thk123

src/java_bytecode/java_bytecode_parser.cpp

@@ -749,7 +749,6 @@ void java_bytecode_parsert::rbytecode(
         instruction.args.push_back(from_integer(c, signedbv_typet(8)));
       }
       address+=1;
-
       break;
 
     case 'o': // two byte branch offset, signed
@@ -776,10 +775,20 @@ void java_bytecode_parsert::rbytecode(
 
     case 'v': // local variable index (one byte)
       {
-        u1 v=read_u1();
-        instruction.args.push_back(from_integer(v, unsignedbv_typet(8)));
+        if(wide_instruction)
+        {
+          u2 v = read_u2();
+          instruction.args.push_back(from_integer(v, unsignedbv_typet(16)));
+          address += 2;
+        }
+        else
+        {
+          u1 v = read_u1();
+          instruction.args.push_back(from_integer(v, unsignedbv_typet(8)));
+          address += 1;
+        }
       }
-      address+=1;
+
       break;
 
     case 'V':