How can I find out when this Java API change happened?
<p>At some point <code>java.lang.Override</code> started to be available for use with implementations of methods declared in interfaces.  I'm pretty sure there was a time when it just worked for overrides of methods defined in superclasses.</p>

<p>How can I find out when (i.e. at which version) this change happened?</p>
