RFR: 8267043: IntelliJ project doesn't handle generated sources correctly [v2]

[Erik Joelsson]

On Wed, 12 May 2021 17:51:11 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

>> Since generated sources are placed in the build folder, and since the build folder is indicated by the IntelliJ project settings as "project output", IntelliJ indexing blissfully ignores all the classes which are generated during the build.
>> This simple patch fixes that, by simply pointing the project output to a non-existing folder inside the build path (called `idea`).
>
> Maurizio Cimadamore has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Bump source level

Marked as reviewed by erikj (Reviewer).

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

PR: https://git.openjdk.java.net/jdk/pull/4000