Shouldn't this be File[] ?