static public String[] readDocnoData(Path p, FileSystem fs) throws IOException {
LOG.warn("p: " + p);
FSDataInputStream in = fs.open(p);
// Docnos start at one, so we need an array that's one larger than number of docs.
int sz = in.readInt() + 1;
LOG.warn("creating array of length: " + sz);
String[] arr = new String[sz];
for (int i = 1; i < sz; i++) {
arr[i] = in.readUTF();