A text editor built with Java