class ReadOnlyIndexReference extends IndexReference {

    @Override
    public synchronized void dispose() throws IOException
    {
        disposeSearcher();
    }

      ReadOnlyIndexReference( IndexIdentifier identifier, IndexSearcher searcher );

}