for (int j = 0; j < len && !_opens.isEmpty(); ++j) {
            final Path path = new Path(paths[j]);
            if (_opens.remove(path)) {
                found = true;
                fireOpenChanged(path.path);