writeAllLines and writeAllBytes in File