// Copyright 1996, David Neto
public class KillSortException extends Exception {
	public KillSortException() {
	}
}