Java:找不到符号

idea打开gitlab上新克隆的一个项目，出现了以下问题：

a

经排查，发现项目默认使用了jbr-11，而项目和本地原本用的是jdk1.8，改回来后就可以了。

b