VerificationException.java

package org.tspec;

public class VerificationException extends Exception {

    private static final long serialVersionUID = 1988637407617475237L;

    public VerificationException(String message) {
        super(message);
    }

}