class LabyrinthFormatException extends java.io.IOException {

    public LabyrinthFormatException() {
	super();
    }

    public LabyrinthFormatException(String msg) {
	super(msg);
    }
}