checkPermission(new FilePermission(filename, "read"));
if (desc == null) throw new NullPointerException(); checkPermission(new RuntimePermission("readFileDescriptor"));
  public void checkRead(String filename)  {        checkPermission(new FilePermission(filename, "read"));    }