A simple converter from HTML to Markdown in Java