import java.io.FileWriter;
import java.io.IOException;
import java.io.UncheckedIOException;
import org.checkerframework.checker.mustcall.qual.Owning;

public class StaticOwningFieldOtherClass {}

abstract class HasStaticOwningField {
  public static @Owning FileWriter log = null;
}

class TestUtils {
  public static void setLog(String filename) {
    try {
      HasStaticOwningField.log = new FileWriter(filename);
    } catch (IOException ioe) {
      throw new UncheckedIOException("Cannot write file " + filename, ioe);
    }
  }
}
