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