ProgressException.java

package org.basex.core;

/**
 * This exception is called whenever a progress is interrupted.
 *
 * @author BaseX Team 2005-12, BSD License
 * @author Christian Gruen
 */
public final class ProgressException extends RuntimeException {
}