An Enhanced Markdown Editor implemented in Java