A rich text editor for Swing - uses structured XML as format