Fix get/setShort for field and array reflection

[jpf-core.git] / src / peers / gov / nasa / jpf / vm / JPF_java_lang_reflect_Array.java

diff --git a/src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Array.java b/src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Array.java
index 8dfa035595387646cb9678bfe16722b178dd7f50..325dcb71e3b120965176c96684bd8bfbad2c2cf9 100644 (file)
--- a/src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Array.java
+++ b/src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Array.java
@@ -111,7 +111,7 @@ public class JPF_java_lang_reflect_Array extends NativePeer {
   @MJI
   public int get__Ljava_lang_Object_2I__Ljava_lang_Object_2 (MJIEnv env, int clsRef,
                                                                     int aref, int index){
-    String at = env.getArrayType(aref);
+    String at = Types.getTypeName(env.getArrayType(aref));
     if (at.equals("int")){
       int vref = env.newObject("java.lang.Integer");
       env.setIntField(vref, "value", env.getIntArrayElement(aref,index));