UnknownError.java

package java.lang;

import checkers.nullness.quals.*;

public
class UnknownError extends VirtualMachineError {
    private static final long serialVersionUID = 0L;
    public UnknownError() {
	super();
    }

    public UnknownError(@Nullable String s) {
	super(s);
    }
}