PrintWriter writer, Entry[] entries)
PrintWriter writer, EntryList entries)
    public void output(Registry registry, Output output,                       PrintWriter writer, Entry[] entries)                throws OperationException;