/** A checked exception */
public class NegativeBalance extends Exception {}