se devi cambiare le estensioni, rename (man rename).
rename java txt *