Re: [cp-patches] java.io.Window method deprecation

[Tom Tromey]

>>>>> "Michael" == Michael Koch <[EMAIL PROTECTED]> writes:

Michael> You should add "1.5" when a method gets deprecated int Java 1.5.

You mean something like '@specnote this method was deprecated in 1.5"?
Or perhaps in the @deprecated?

Tom