VerifyError.java :  » Testing » KeY » java » lang » Java Open Source

package java.lang;
public class VerifyError extends LinkageError {
    public VerifyError() {}
    public VerifyError(String s) {}
}