Provides an Edit menu option to copy selected Java source into HTML, you can set the type of HTML used in the preferences page.