package java.io;
import org.checkerframework.checker.nullness.qual.Nullable;
@org.checkerframework.framework.qual.DefaultQualifier(org.checkerframework.checker.nullness.qual.NonNull.class)
public class FileReader extends InputStreamReader {
public FileReader(String a1) throws FileNotFoundException { super(null); throw new RuntimeException("skeleton method"); }
public FileReader(File a1) throws FileNotFoundException { super(null); throw new RuntimeException("skeleton method"); }
public FileReader(FileDescriptor a1) { super(null); throw new RuntimeException("skeleton method"); }
}