Chris Hughes has been busy building JDeveloper extensions lately. His newest one is quite a handy tool for us product managers. It lets you select a part of the source code in JDeveloper and choose Edit->Copy to HTML.
This comes out as a formatted HTML code that we can than stick into articles and how-to's on OTN.
Check it out under the Help->Check for Updates in your JDeveloper 10.1.3 menu option.
And if you want to build your own extensions check out the JDeveloper Extension SDK samples that will get you started.
http://www.oracle.com/technology/products/jdev/htdocs/partners/addins/index.html
