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

package java.lang;
public class UnknownError extends VirtualMachineError {
    public UnknownError() {}
    public UnknownError(String s) {}
}