[jdk17] RFR: 8266631: StandardJavaFileManager: getJavaFileObjects() impl violates the spec [v2]

[Jonathan Gibbons]

On Thu, 17 Jun 2021 13:43:20 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

>> [a copy of https://github.com/openjdk/jdk/pull/4360 for openjdk/jdk17]
>> 
>> This improves javadoc/specification of several StandardJavaFileManager methods, as requested in these bugs:
>> https://bugs.openjdk.java.net/browse/JDK-8266631
>> https://bugs.openjdk.java.net/browse/JDK-8266596
>> https://bugs.openjdk.java.net/browse/JDK-8266591
>> https://bugs.openjdk.java.net/browse/JDK-8266590
>> 
>> The CSR is here:
>> https://bugs.openjdk.java.net/browse/JDK-8268260
>
> Jan Lahoda has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains four additional commits since the last revision:
> 
>  - Using @code instead of @linkplain, as suggested.
>  - Merge branch 'master' into JDK-8266631
>  - Improving javadoc as suggested on the review.
>  - 8266631: StandardJavaFileManager: getJavaFileObjects() impl violates the spec

Marked as reviewed by jjg (Reviewer).

-------------

PR: https://git.openjdk.java.net/jdk17/pull/56