HelpIDE Extension for JDeveloper: "HelpIDE Extension
This extension provides support for creating documentation for your Java projects using Oracle JDeveloper. You can create and edit help topics, TOC elements, Index, and Glossary Terms. All these elements are parts of JDeveloper's project and they are stored in a special category."
