Update JavaIndex when a file without its project is opened - #9622
Open
JaroslavTulach wants to merge 1 commit into
Open
JaroslavTulach wants to merge 1 commit into
JaroslavTulach wants to merge 1 commit into