据我所知，我已经安装了Java 8，并在Eclipse项目中工作过。

import java.time.ZonedDateTime;

字符串
我似乎也拿不到：

import java.time;

型
工作。"
它告诉我这一行无法解析。我以为这是标准Java 8库的一部分？有没有一个地方我应该去下载ZonedDateTime类的JAR或其他东西？
我正在Eclipse中创建AWS Lambda函数，如果有必要的话。
我进入了项目的属性，注意到编译器兼容级别设置为1.6，因此我将其更改为1.8。现在，我收到一条警告：
选择1.8兼容性时，请确保安装并激活了兼容的JRE（当前为1.6）。
当我转到它为已安装的JRE提供的链接时，我只看到1.6。我如何获取并安装1.8 JRE，以便它在此列表中显示为可选的？