Yes, FileIndex.getAllFiles really should always return a copy of the array