jedit is not, but jedit-javadoc is there.
jedit.png (image/png), 155.90 KB, created by Balazs Melikant on 2006-10-07 17:05:32 UTC
(hide)
 
Creator: Balazs Melikant
Created: 2006-10-07 17:05:32 UTC
Size: 155.90 KB
Actions: View
Attachments on bug 210890: 100898