Correctly reads the array size from the jvm file with -array option