Каков наилучший способ усечения файла на Java? Например, эта фиктивная функция, как пример, чтобы прояснить намерение:
void readAndTruncate(File f, List<String> lines)
throws FileNotFoundException {
for (Scanner s = new Scanner(f); s.hasNextLine(); lines.add(s.nextLine())) {}
// truncate f here! how?
}
Файл не может быть удален, так как файл действует как владелец места.