#4 Import Headers to import JavaDoc

[Aaron Powers]

When we import only the headers, like when we're
importing the sources for Java, it would be nice to import
the JavaDoc comments along with the headers -- this would
be very helpful when using the headers for references.
(i.e. when using the cool "Show In Context" feature via a
middle click on a function)

[Aaron Powers]

Logged In: YES
user_id=338208

This is nearly obsolete. Who imports headers anymore?
Maybe the feature to import headers should even be taken out
-- since we're no longer needing to import just the headers
for the huge body of java classes, this'll only confuse the
user... My best opinion is to just remove it from the GUI
(comment it out) and see if anybody misses it or suggests
that we implement the feature, etc...

ox-eater, I'm assigning this to you only because I want your
feedback on getting rid of the "import headers only"
feature. Feel free to close this or un-assign it to you.