Fix identifying arrays in value set analysis

Catch the use of java_new_array instead of cpp_new_array

Author: Owen Jones

src/pointer-analysis/value_set.cpp

@@ -727,7 +727,8 @@ void value_sett::get_value_set_rec(
       insert(dest, dynamic_object_recent, 0);
     }
     else if(statement==ID_cpp_new ||
-            statement==ID_cpp_new_array)
+            statement==ID_cpp_new_array ||
+            statement==ID_java_new_array )
     {
       assert(suffix=="");
       assert(expr_type.id()==ID_pointer);