Если цель переименовывания состоит в том, чтобы заменить resource.txt на лету , и Вы управляете всеми включенными программами, и , частота замены не высока, Вы могли сделать следующее.
Для открытий/читавшего файла:
Для замены файла:
, Который удостоверится, все Ваши читатели всегда находят правильный файл.
, Но, легче, должен был бы просто попробовать Ваше открытие в цикле, как:
InputStream inp=null;
StopWatch tmr=new StopWatch(); // made up class, not std Java
IOException err=null;
while(inp==null && tmr.elapsed()<5000) { // or some approp. length of time
try { inp=new FileInputStream("resource.txt"); }
catch(IOException thr) { err=thr; sleep(100); } // or some approp. length of time
}
if(inp==null) {
// handle error here - file did not turn up after required elapsed time
throw new IOException("Could not obtain data from resource.txt file");
}
... carry on
Настройки-> Появление & поведение-> Появление-> Пользовательский шрифт Использования-> размер шрифта Набора