google3/third_party/java_src/junit/main/java/org/junit/experimental/max/CouldNotReadCoreException.java

package org.junit.experimental.max;

/**
 * Thrown when Max cannot read the MaxCore serialization
 */
public class CouldNotReadCoreException extends Exception {
    private static final long serialVersionUID = 1L;

    /**
     * Constructs
     */
    public CouldNotReadCoreException(Throwable e) {
        super(e);
    }
}