public void reset(IProgressMonitor monitor, RequestProcessor processor, Resource resource, Resource input)
throws IndexException;
public void reset(IProgressMonitor monitor, RequestProcessor processor, Resource resource, Resource input)
throws IndexException;