MissingResourceException.java

package java.util;
import checkers.javari.quals.*;

public class MissingResourceException extends RuntimeException {
    private static final long serialVersionUID = -4876345176062000401L;

    public MissingResourceException(String s, String className, String key) {
        throw new RuntimeException("skeleton method");
    }

    MissingResourceException(String message, String className, String key, Throwable cause) {
        throw new RuntimeException("skeleton method");
    }

    public String getClassName() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public String getKey() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }
}