Пишу ответ, чтобы люди, которые изучали Java в прошлом веке, знали: в наши дни (Java 7 и новее) задача решается по факту в одну строчку.
import java.io.IOException;
import java.nio.charset.*;
import java.nio.file.*;
public class ReplaceInFile {
public static void main(String[] args) throws IOException {
String fileName = "file.txt";
String search = "31415";
String replace = "число ПИ";
Charset charset = StandardCharsets.UTF_8;
Path path = Paths.get(fileName);
Files.write(path,
new String(Files.readAllBytes(path), charset).replace(search, replace)
.getBytes(charset));
}
}
Обратите внимание, что для вашей задачи надо знать также кодировку файла. Я указал UTF_8. У вас может быть другая (например, Charset.forName("cp1251")
— русская Windows-кодировка). Приведённое решение самое простое, но оно читает весь файл в память. Если файл в память не влазит, оно не подойдёт.