On Fri, 7 Apr 2023 12:22:03 GMT, Andy-Tatman <d...@openjdk.org> wrote:
> See https://bugs.java.com/bugdatabase/view_bug?bug_id=8305734 A CSR has been created at https://bugs.openjdk.org/browse/JDK-8307539. You might have to use `/csr` in a comment to make the jdk dukebot update the info. Note: The specification changes is usually the actual changes to the Javadoc or method signatures, as rendered in a patch file. I will update the specification once you added the `@throws IndexOutOfBoundsException if index is equal to Integer.MAX_VALUE` etc. Javadoc to the methods you propose to change (commited to this pull request) ------------- PR Comment: https://git.openjdk.org/jdk/pull/13388#issuecomment-1536271234
