public class VerifyError extends LinkageError {
    // Public Constructors
            public VerifyError();
            public VerifyError(String s);
}