public function doubleClose()
 {
     with($stream = new FileOutputStream($this->file));
     $stream->close();
     $stream->close();
 }
 public function calling_close_twice_has_no_effect()
 {
     with($stream = new FileOutputStream($this->file));
     $stream->close();
     $stream->close();
 }