checkPermission(new FilePermission(filename, "write"));
if (desc == null) throw new NullPointerException(); checkPermission(new RuntimePermission("writeFileDescriptor"));
  public void checkWrite(String filename)  {        checkPermission(new FilePermission(filename, "write"));    }