[news.eclipse.newcomer] Get Eclipse to use javadoc doclets.

[Hendrik Maryns <hendrik_maryns@xxxxxxxxxxxxx>]

Hi,

I got some Javadoc doclets from my instructor, and have been able to get 
Javadoc to use them with Eclipse.  The formatter doesn't recognise them 
though.  Is it possible to import these doclets into Eclipse, so that it 
recognises them?

What I want is this:

     * @pre The file or directory must be effective.
     * 		| fd != null
     * @post If the file or directory can be deleted, it is removed from
     *       the contents. If it isn't, an exception is thrown.
     * 		| if (fd.isDeletable())
     * 		| then ! new.hasAsItem(file)
     * 		| else false

But after hitting Ctrl+Shift+F, this gets:

     * @pre The file or directory must be effective. | fd != null
     * @post If the file or directory can be deleted, it is removed from
     *       the contents. If it isn't, an exception is thrown. | if
     *       (fd.isDeletable()) | then ! new.hasAsItem(file) | else
     *       false

Or do I have to enter this into the formatter manually?  If yes, can I 
get a pointer on how to do this?

Thanks, H.
--
Hendrik Maryns

Interesting websites:
www.lieverleven.be	(I cooperate)
www.eu04.com		European Referendum Campaign
aouw.org		The Art Of Urban Warfare