return (File[]) files.toArray(EMPTY_FILE_ARRAY);
return (File[]) files.toArray(new File[files.size()]);
    private File[] pathToFileArray(String path)    {        ArrayList files = new ArrayList();        int pos = 0;        while (pos < path.length())        {            int colonPos = path.indexOf(pos, ':');            if (colonPos == -1)            {                files.add(new File(path.substring(pos)));                break;            }            files.add(new File(path.substring(pos, colonPos)));            pos = colonPos + 1;        }        return (File[]) files.toArray(EMPTY_FILE_ARRAY);    }