import java.io.*;
import java.security.*;
public class GuardedFileOutputStream extends GuardedObject {
  public GuardedFileOutputStream(String fichier)
    throws FileNotFoundException {
    super(new FileOutputStream(fichier),
      new FilePermission(fichier, "write")); 
  }
}