Java sources to HTML converter