Many thanks Andreas!

> Good point. I've modified the Javadoc to include the relevant @deprecated
> tags.
Now reading the JavaDoc everything is clear.

Reply via email to