/* An empty exception class */
public class ArghException extends Exception {
}
