FileWriter.java

package java.io;

import org.checkerframework.checker.nullness.qual.Nullable;

@org.checkerframework.framework.qual.DefaultQualifier(org.checkerframework.checker.nullness.qual.NonNull.class)

public class FileWriter extends OutputStreamWriter {
  public FileWriter(String a1) throws IOException { super(null); throw new RuntimeException("skeleton method"); }
  public FileWriter(String a1, boolean a2) throws IOException { super(null); throw new RuntimeException("skeleton method"); }
  public FileWriter(File a1) throws IOException { super(null); throw new RuntimeException("skeleton method"); }
  public FileWriter(File a1, boolean a2) throws IOException { super(null); throw new RuntimeException("skeleton method"); }
  public FileWriter(FileDescriptor a1) { super(null); throw new RuntimeException("skeleton method"); }
}