A bare-bones text editor written in Java using Swing