Anthony recently noticed that we weren't emitting deprecation
information in our .class files.
This patch fixes the problem. It fixes bugs in recognizing
@deprecated in the javadoc, and it changes the bytecode generator to
emit Deprecated attributes for methods, fields, and classes.
I tested this on various test cases here. I haven't checked in any
new test cases as there is no need -- our nightly japi comparisons
will quickly show any problems here. (That is how Anthony discovered
this in the first place.)