[java] Merged with 3665 (https://github.com/github/codeql/pull/3665)#3674
Closed
haby0 wants to merge 1 commit intogithub:mainfrom
haby0:master
Closed
[java] Merged with 3665 (https://github.com/github/codeql/pull/3665)#3674haby0 wants to merge 1 commit intogithub:mainfrom haby0:master
haby0 wants to merge 1 commit intogithub:mainfrom
haby0:master