A simple Java Text Editor