/*
 *  The OpenDiamond Platform for Interactive Search
 *  Version 5
 *
 *  Copyright (c) 2009 Carnegie Mellon University
 *  All rights reserved.
 *
 *  This software is distributed under the terms of the Eclipse Public
 *  License, Version 1.0 which can be found in the file named LICENSE.
 *  ANY USE, REPRODUCTION OR DISTRIBUTION OF THIS SOFTWARE CONSTITUTES
 *  RECIPIENT'S ACCEPTANCE OF THIS AGREEMENT
 */

package edu.cmu.cs.diamond.opendiamond;

import java.io.IOException;

/**
 * Exception thrown when a method (except <code>close()</code>) is called on a
 * {@link Search} that has been closed.
 */
public class SearchClosedException extends IOException {
    SearchClosedException() {
    }
}

@@ -690,16 +690,107 @@
 ion() %7B%0A
+        super();%0A    %7D%0A%0A    SearchClosedException(Throwable cause) %7B%0A        super(cause);%0A
     %7D%0A%7D%0A

Implement SearchClosedException(Throwable cause)