@Override
    public int ndoc() {
        return docs.size();
    }
@Test
    public void testGetNumDocuments() {
        System.out.println("getNumDocuments");
        assertEquals(5000, corpus.ndoc());
    }