editeur de texte minimalist en java