Editor de archivos de texto realizado en Java