SecurityManager s = System.getSecurityManager(); if (s != null) s.checkRead(file.getPath());  ch = FileChannelImpl.create(file, FileChannelImpl.READ);
this(new File(name));
  public FileInputStream(File file) throws FileNotFoundException  {    SecurityManager s = System.getSecurityManager();    if (s != null)      s.checkRead(file.getPath());    ch = FileChannelImpl.create(file, FileChannelImpl.READ);  }