Java “如何解决错误”；无法将var解析为类型“0”；？

我得到以下行的错误：

var playerAmt = player.stream().filter(Card::isTrue).count();

错误：

无法将var解析为类型

我不是在这里写全部代码，因为它相当长，我认为它不会有多大帮助。 代码中的不同位置存在相同的错误

---

我正在使用EclipseIDE。我也在网上搜索了这个，但没有帮助

如果您使用的是Java 10+，请更改Eclipse上的编译器级别：项目属性>Java编译器>编译器符合性级别：10（+）。

您使用哪个Java版本编译代码？@Eran Java version“1.8.0_231”Java（TM）SE运行时环境（build 1.8.0_231;-b11）Java 8不支持var。它是在Java 10中引入的。@jbnize即使在安装Java 13之后，当我在cmd:Java-version上编写时，同样的错误也会显示为shownbtw，它显示Java 13。那么，Eclipse也必须使用Java13，对吗？还是没有必要？