When searching for files in VSCode using ctrl+P (go to file), Java source files show up twice, once in the src/* dir, and once in the build/<config>/support/src/* dir (after building the JDK image)

If the file in the build output is selected, a lot of the IDE's code navigation features don't work, and of course changes to that file don't have an effect.

We should probably exclude the files in support/src/* from search to avoid these issues.