diff --git a/infer/models/java/src/java/io/File.java b/infer/models/java/src/java/io/File.java
index 1812775e4..01b6b598f 100644
--- a/infer/models/java/src/java/io/File.java
+++ b/infer/models/java/src/java/io/File.java
@@ -18,7 +18,7 @@ public class File {
         if (InferUndefined.boolean_undefined()) {
             return null;
         } else {
-            return new File[InferUndefined.int_undefined()];
+            return (File[])InferUndefined.object_undefined();
         }
     }