Text editor written in Java using Java Swing